VainMan's questions

Isso é (parcialmente) reduzido de CTAD instancia outra especialização quando argumento explícito é fornecido .

https://godbolt.org/z/5To7nKEP3

template<int N>
struct Bar {
    int n = N;
    constexpr Bar() {}
    constexpr Bar(const Bar& b): n{b.n - 1} {}
};

template<Bar b> constexpr int get_n() { return b.n; }

constexpr auto b = Bar<1>{};
static_assert(b.n == 1);

#ifdef _MSC_VER
static_assert(get_n<b>() == 1);
#else
static_assert(get_n<b>() == 0);
#endif

Clang e GCC parecem sempre invocar e deduzir dos Barconstrutores de para determinar o argumento do modelo real , mesmo que o argumento fornecido seja do tipo de especialização de Bar, com o que o MSVC não concorda.

O que diz a norma?

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);