Estou interessado em estudar o recém-aceito programação de contratos para C ++ 20 para fins de aprendizado e investigação.

Como estou procurando por suporte ao compilador, estou desapontado por não encontrar nenhum. Ambosgcc eclang são bastante claros, eles não suportam esse recurso em seus--std=c++2aodo.

Desde que a aprovação é bem recente, não estou muito surpreso que os compiladores atuais não suportem a semântica exata proposta. O que é mais surpreendente para mim, porém, é que não há absolutamente nada, nem mesmo uma extensão específica do compilador que imite, mesmo de forma limitada, o mesmo recurs

Estava esperando que o comitê C ++ considerasse apenas os recursos comprovados em campo, normalmente por meio de compiladores ou extensões específicas de destino. A aprovação desse recurso para C ++ 20 sugere que o recurso deve estar acessível em algum lugar. Mas até agora não consegui encontrá-lo.

Existe uma maneira de experimentar a programação de contratos C ++ atualmente? mesmo usando um conjunto de extensões específicas do compilador?