Início / coding / Perguntas / 79016821
Accepted
VainMan
Asked: 2024-09-24 10:53:21 +0800 CST

a asserção estática dispara do tipo de retorno quando a restrição inicial não é satisfeita

  • 772

O GCC aceita esse código, o Clang e o MSVC o rejeitam devido à falha de asserção estática em assert. O que o padrão diz?

https://godbolt.org/z/PKMKzYGsc

template<typename T>
constexpr int assert() {
    static_assert(sizeof(T) == 1);
    return 1;
}

template<auto I>
using Int = int;

template<typename T> requires (sizeof(T) == 1)
constexpr auto foo(T) -> Int<assert<T>()> {
    return 1;
}

template<typename T> requires (sizeof(T) > 1)
constexpr auto foo(T a) -> Int<1> {
    return 2;
}

static_assert(foo('1') == 1);
static_assert(foo(2) == 2);

Saída do Clang:

<source>:3:19: error: static assertion failed due to requirement 'sizeof(int) == 1'
    3 |     static_assert(sizeof(T) == 1);
      |                   ^~~~~~~~~~~~~~
<source>:11:30: note: in instantiation of function template specialization 'assert<int>' requested here
   11 | constexpr auto foo(T) -> Int<assert<T>()> {
      |                              ^
<source>:21:15: note: while substituting deduced template arguments into function template 'foo' [with T = int]
   21 | static_assert(foo(2) == 2);
      |               ^
<source>:3:29: note: expression evaluates to '4 == 1'
    3 |     static_assert(sizeof(T) == 1);
c++

2 respostas

  1. Best Answer

    Durante a dedução do argumento do template, a verificação de satisfação das restrições associadas do template de função ocorre antes da substituição dos argumentos do template no tipo de função. Isso é descrito em [temp.deduct.general]/5 :

    Se o modelo de função tiver restrições associadas, essas restrições serão verificadas quanto à satisfação. Se as restrições não forem satisfeitas, a dedução de tipo falhará. [...] Se a dedução de tipo ainda não tiver falhado, todos os usos de parâmetros de modelo no tipo de função serão substituídos pelos valores de argumento deduzidos ou padrão correspondentes.

    Isso significa que a dedução de tipo deve falhar antes de encontrar o problema assertneste exemplo, tornando-o bem formado.

    Este resultado é o resultado do CWG2369 , antes do qual os dois passos acima aconteceram na ordem oposta. Evidentemente, Clang e MSVC não implementam essa mudança ainda, levando à divergência de implementação observada.

    • 6

  2. O programa está bem formado e o gcc está correto ao aceitar o código conforme explicado abaixo.

    De over.over :

    Todas as funções com restrições associadas que não são satisfeitas ([temp.constr.decl]) são eliminadas do conjunto de funções selecionadas. Se mais de uma função permanecer no conjunto, todas as especializações de modelo de função no conjunto são eliminadas se o conjunto também contiver uma função que não seja uma especialização de modelo de função. Qualquer função não modelo F0 é eliminada se o conjunto contiver uma segunda função não modelo que seja mais restrita do que F0 de acordo com as regras de ordenação parcial de [temp.constr.order]. Qualquer especialização de modelo de função F1 é eliminada se o conjunto contiver uma segunda especialização de modelo de função cujo modelo de função seja mais especializado do que o modelo de função de F1 de acordo com as regras de ordenação parcial de [temp.func.order]. Após tais eliminações, se houver, deve permanecer exatamente uma função selecionada.

    (ênfase minha)

    Isso significa que para a chamada foo(2), a versão #1com sizeof(T)==1será eliminada do conjunto de funções selecionadas. E a outra (versão #2) que satisfaz a restrição será a única candidata viável e usada.

    • -2

relate perguntas