如果无法编译未使用的函数，模板类可以使用 C++17 进行编译，但不能使用 C++20 进行编译

Question

以下代码在选择 C++ 17 作为语言的 VS2019（版本 16.11.15）中编译没有错误。但它在 C++ 20 中失败，并出现错误“错误 C2027：使用未定义类型‘Anon’”

template <typename T> class a_template
{
public:
    void do_something(class Anon& anon) const;
};

template <typename T> void a_template<T>::do_something(class Anon& anon) const
{
    anon.do_something();
}

该类Anon当然是未定义的，但 ::do_something 函数未使用，因此不需要实例化。这在 C++17 中没问题，但在 C++20 中显然不行。

这是语言规则的改变吗？如果是这样，是否可以在不实际定义的情况下修复它Anon？

Answer 1

这是语言规则的改变吗？

不，这是因为当模板的所有实例化都会产生该错误时，C++ 编译器被允许（但不是必需！）在解析模板时诊断错误。

这意味着对于您给定的示例，在解析定义时编译器可能会也可能不会发出错误。也就是说，编译器在解析模板时可能会产生错误，或者可能会等到第一个模板实例化。请参阅演示，其中 msvc 不会发出错误，但 gcc 和 clang 会发出错误。

也许一个更简单的例子会更清楚：

void func()
{

}

template<typename T> void bar() 
{
     func(3); //compilers are allowed(but not required) to issue error at the time of pasrsing this
}

在上面的示例中，func是一个非依赖名称func，在我们调用using的地方func(3)，唯一可见的func是接受参数的名称0，而不是一个。正如我之前所说，即使我们没有实例化，某些编译器也可能会发出错误（在解析时），bar 但某些编译器可能不会。这是因为他们被允许但不被要求这样做。请参阅演示，其中 msvc 不会在此处发出错误，但 gcc 和 clang 会发出错误。

同样的逻辑也适用于您的示例。这意味着 asAnon是一个不完整的类型anon.do_something()，并且您有 ，即使您尚未实例化，某些编译器也可能会选择产生错误a_template，而其他一些编译器可能不会。