依赖模板名称和C 20 ADL

Question

考虑以下示例：

namespace N {
    template<class>
    struct C { };

    template<int, class T>
    void foo(C<T>);
}

template<class T>
void bar(N::C<T> c) {
    foo<0>(c);
}

int main() {
    N::C<void> c;
    bar(c);
}

GCC和Clang都未能在C 17标准下编译此代码（使用Werror），因为（根据我的理解）在C 17 ADL中，当显式模板参数

在C 20中，ADL规则有变化，显式模板参数不会阻止ADL。现在看来，foo成为了一个依赖名称，应该可以通过ADL解析。然而，GCC和Clang对本规范的有效性有不同的看法。CLang编译时没有错误，但GCC（10.2，std=c 2a）抱怨：

错误：'foo'未在此范围内声明；您的意思是'N::foo'吗？

在C 17模式下，Clang产生以下警告：

警告：在带有显式模板参数的函数调用中使用不带先验声明的函数模板名称是C 20扩展

演示。

我有三个相关的问题：

1. 哪个编译器是正确的，为什么
2. 在C 17中，isfooInfoo




Answer 1

匿名用户

这是P0846，这是一个C 20功能。gcc似乎还没有实现这一点。

这不是依赖名称与否的问题，而是编译器是否知道foo是否引用了模板，foo也是如此

在C 17中，为了执行ADL，编译器必须知道foo是一个模板名称（可以通过使用N：：foo；添加来实现），在C 20中，这不再是真的-现在的规则是，如果非限定查找找到模板或什么都没有找到，我们也会将其视为模板。

本文的研究结果没有改变foo的依赖性。在foo中

在以下形式的表达式中：

后缀表达式（表达式列表）

如果后缀表达式是一个不合格的id，则不合格的id表示依赖的名称，如果

• 表达式列表中的任何表达式都是包扩展，

第二个项目符号适用于此处-c取决于类型。C 20的措辞是相同的。这里的问题并不是说foo不依赖于C 17。只是规则是当我们