c++ - ADL 在 constexpr 函数中不起作用(仅限 clang)

Question

以下代码可以使用 MSVC 和 gcc 编译，但不能使用 clang。为什么会这样？

如果 CallFoo () 是 constexpr，ADL 似乎无法工作。查看评论。

template <class T>
constexpr void CallFoo  ()          // Remove constexpr to fix clang compilation error.
{
    Foo (T ());
}


class Apple {};


int main ()
{
    CallFoo<Apple> ();
}


constexpr void Foo (Apple)
{
}

Clang 错误消息(see on godbolt.org):

<source>:4:5: error: use of undeclared identifier 'Foo'
    Foo (T ());
    ^
<source>:13:5: note: in instantiation of function template specialization 'CallFoo<Apple>' requested here
    CallFoo<Apple> ();
    ^

Answer 1

声明应该在实例化时可见，因此 clang 有权拒绝您的代码。重新排序函数修复编译:

constexpr void Foo (Apple)
{
}

int main ()
{
    CallFoo<Apple> ();
}

Demo

事实是文件末尾也是一个实例化点，gcc/MSVC 应该只考虑这个:/