Pontos de interesse:

- Contratos
- Erros de programação são resolvidos consertando-os
- Algumas reorganizações
- Existe coisa pronta que funciona melhor

Existem algumas formas, eu tenho gostado de usar [contratos][1]. Ele tem algumas desvantagens, mas em geral ajuda e deveria ser usado mais, o .NET usa o tempo todo em seus códigos. Se não gostar dele é só mudar para um `if` e lançar uma exceção (é o mesmo que o `Requires()` faz internamente na maioria dos casos, mas tem alguns que ele poderá ser retirado da execução, veja abaixo). Muda alguma coisa? Não muito, apenas que o erro é mais específico, e isso tem implicações positivas, mas pode mudar algo importante.

Uma outra possibilidade é usar um `Assert()` que pode ser garantidamente desligado, o que pode ser uma boa, afinal o erro `Out of Bounds` é erro de programação e a úncia solução possível é consertar o erro, a única coisa que podemos fazer é garantir que um código bem tesado dê o erro em tempo de desenvolvimento e se tiver algum erro na chamada também tenha o problema resolvido. Se tiver certeza que o erro não acontece mais o `Assert()` não vai para produção, já o `Requires()` pode ir, mas ao mesmo tempo pode ser mais seguro se não tiver tanta certeza assim.

Na versão atual do Visual Studio essa retirada do `Requires()` não é automática, precisa instalar e configurar o uso de análise e retirada automática dos contratos.

Outra possibilidade é fazer nada, afinal erro de programação se resolve e não tenta contornar, e eu tenho optado por isso. Mas pode fazer algo assim:

Os nomes dos parâmetros do exemplo não são bons, são enganosos.

    using static System.Console;
    using static System.Diagnostics.Contracts.Contract;
    
    public class Program {
    	public static void Main() {
    		foreach (var item in ReplaceRange(new int[] {0, 1, 2, 3, 4}, new int[] {5, 6, 7, 8, 9}, 2)) WriteLine(item);
    	}
    	public static T[] ReplaceRange<T>(T[] source, T[] destination, int start) {
    		Requires(start >= 0, "O índice de início não pode ser menor que zero");
    		Requires(start < source.Length, "O índice de início não pode ser maior que o fim do array");
    		Requires(destination.Length >= source.Length - start, "O índice de início não pode ser maior que o que cabe");
    		for (int i = start, j = 0; i < source.Length; i++, j++) destination[i] = source[j];
    		return destination;
    	}
    }

Veja [funcionando no **.NET Fiddle**][2]. E [no **Coding Ground**][3]. Também [coloquei no **GitHub** para referência futura][4].

Não vou colocar para rodar *online* porque esses ambientes são limitados, a grande vantagem é quando a ferramenta ajuda, o Visual Studio por exemplo pode informar de problemas durante o desenvolvimento, ou tem ferramentas que geram testes para você baseado no contrato encontrado dentro do método (preciso até me atualizar porque mudou desde a última vez que usei).

Mas pode simplificar isso e usar o [`Array.Copy()`][5] que já existe no .NET. Se quiser só faça um *wrap* simples para considerar apenas o início da fonte e ele preencher sozinho o início do destino e o tamanho da cópia.

Postei mais com intuito de mostrar que tem alternativas, algumas que poucos conhecem, tem maneiras de resolver sem fazer nada no código e há maneiras de usar o que já tem pronto que será bem mais rápido porque fará uma cópia [*blittable*][6], até onde dá.


  [1]: https://docs.microsoft.com/en-us/dotnet/framework/debug-trace-profile/code-contracts
  [2]: https://dotnetfiddle.net/zaVEcp
  [3]: http://tpcg.io/PskKSk
  [4]: https://github.com/maniero/SOpt/blob/master/CSharp/Array/Replace.cs
  [5]: https://msdn.microsoft.com/en-us/library/z50k9bft(v=vs.110).aspx
  [6]: https://en.wiktionary.org/wiki/blit