未使用成员模板函数的类模板实例化失败的原因

Question

这有什么问题:

#include <type_traits>

struct A;

template<typename T>
struct B
{
    template<typename=std::enable_if<std::is_copy_constructible<T>::value>>
    void f1() {}
};

template<typename T>
struct C {};


// Type your code here, or load an example.
int main() {
    // Following fails
    B<A> b;
    // Could use this:
    // b.f1<C>();

    // This complies
    C<A> c;

    return 0;
}

/* This to be in or not doesn't make a difference
struct A
{};
*/

我在这里尝试过：用不同的编译器https://godbolt.org/z/NkL44s：

• x86-64 gcc 9.2：编译
• x86-64 gcc（主干）：失败
• x86-64 clang 6.0.0：编译
• x86-64 clang 7.0.0及更高版本：失败
• x64 msvc v19.22：编译
• x64 msvc v19.23（内部测试）：失败

那么，为什么最近的编译器会拒绝这一点呢？实例化＜code＞B时

编辑：
如评论中所述，我在上面的代码中犯了一个无意的错误：std：：enable_if应该是std：：enable_if_t，就像在这个更正的游乐场中一样：https://godbolt.org/z/cyuB3d

这将改变编译器无错误传递此代码的画面：

• gcc：失败
• clang:失败
• x64 msvc v19.22:编译
• x64 msvc v19.23（内部测试）：失败

但是，问题仍然存在：为什么从未使用过的函数的默认模板参数会导致编译失败？

Answer 1

从is_copy_constructable上的cppreference

T应该是一个完整的类型，（可能是cv限定的）void，或者是一个未知界限的数组。否则，行为未定义。

所以看起来在旧的编译器版本中你只有普通的UB，而新的版本很好的告诉你< code>A必须是一个完整的类型。

请注意，在存在 UB 的情况下，编译器不需要发出错误，但他们可能会这样做，这是一件好事。

Answer 2

原因是std::is_constructible需要一个完整的类型：（表42）

template <class T>
struct is_­copy_­constructible;

T应为完整类型、cv void或未知界限数组。

未能满足库“应”的要求会导致未定义的行为。