Restrições e verificações estáticas

Uma restrição é uma regra sobre seus parâmetros que o compilador verifica, impedindo uma compilação inválida antes mesmo de o programa ser executado. ⚙️

Chame constrained com uma condição de tempo de compilação; se ela for falsa, a compilação falhará com a mensagem fornecida por você.

A condição precisa usar parâmetros ou aliases, para que a verificação seja resolvida durante a compilação, e não enquanto o programa é executado.

A cadeia de texto que você passa torna-se o erro exibido no local da chamada, explicando o uso incorreto em vez de falhar mais tarde de alguma forma confusa.

As restrições são especialmente úteis para código SIMD: exija uma largura que seja potência de dois para que o kernel nunca receba um tamanho de vetor impossível.

Uma restrição clara informa aos futuros leitores exatamente o que um parâmetro espera, funcionando como documentação verificada pela máquina que nunca fica desatualizada.

Adicione verificações a um algoritmo paramétrico para validar cada especialização e detectar uma combinação inválida sem testar todas as entradas.

Como o teste é executado em tempo de compilação, o código distribuído não contém nenhuma instrução if para verificar a regra, portanto não há custo em tempo de execução.

Combine restrições com @parameter if: escolha um ramo com base no que é compatível e rejeite diretamente os casos incompatíveis com um erro claro.

As restrições transformam parâmetros flexíveis em um contrato: a especialização poderosa continua segura porque o compilador impõe todas as regras por você. 🚀

Coloque uma verificação constrained perto do início de uma função para que um parâmetro inválido seja rejeitado imediatamente, com o motivo indicado desde o começo.

Você usou restrições: constrained valida parâmetros em tempo de compilação com erros claros, tornando a metaprogramação poderosa segura e sem custo em tempo de execução. 🎯