Ele define que um bloco de código (pode ser um método todo, como na sintaxe da pergunta) poderá usar recursos da linguagem considerados inseguros.
Esta é uma forma de garantir que o recurso não seja usado inadvertidamente e também permitir que outras partes do código por padrão possam ter uma otimização mais agressiva dada a segurança garantida.
Nele é permitido o uso de ponteiros para memória. Ponteiros são inseguros por natureza. É possível usar até aritmética. Existem algumas limitações, a memória continua gerenciada pelo garbage collector, mas o acesso à memória pode ser feito direto ao local pretendido sem maiores garantias. Isto pode ser útil para dar mais performance.
Se olhar alguns códigos do .NET verá seu uso. A classe String
usa bastante para obter o máximo de performance.
Também há algum uso de interoperabilidade onde o ponteiro bruto é mais adequado, me geral por questões de performance, mas por especificação também, caso típico do COM e outras APIs do Windows.
Quando precisa de acesso direto à disco (ou pelo menos arquivos mapeados em memória) ele é útil.
A manipulação de mapas de bits também é um uso importante.
Também pode usar fixed
para indicar para o GC que um objeto não pode ser movido (o que pode trazer problemas de fragmentação de memória, nada crítico, porém).
Praticamente nunca deve usar. Nunca precisei. Mas adoro saber que o recurso está disponível para o dia que precisar (até acho que tenho uma situação que usarei).
Em geral o pessoal adora fazer otimização prematura, mas por sorte este não é um recurso frequentemente abusado.
Seu uso só é permitido com diretiva de compilação. Mais uma medida para não usar inadvertidamente.
Normalmente um código assim exige mais privilégios no sistema de segurança do .NET. A segurança do código não pode ser verificada.
Documentação da Microsoft.
Coloquei no GitHub para referência futura.