Static 变量的两阶段查找

Question

参考以下代码：

#include <iostream>
#include <cassert>

using std::cout;
using std::endl;

namespace tpl_ {

template<class T>
constexpr int test(T) { return 1;}

template<class T>
struct check
{
    static T const t;
    static constexpr auto val = test(T{});

    template <typename Y = T>
    void func() {
      int val = test(Y{});
      assert(val == 1);
    }
};

constexpr int test(int) {
    return 2;
}

} //tlp_

int main() {
    static_assert(tpl_::check<int>::val == 2);
}

为什么static_assert失败（并且assert()通过了？）？ 两阶段查找是否会推迟设置val的值（也在func()中）直到第二阶段int重载可见，因为它是依赖类型？

Answer 1

仅从实例化点执行 ADL。 通常的非限定查找是从定义点开始执行的。

如果没有专门通过 ADL 找到，则在定义点之后定义的任何内容都不会被考虑。 您在此处的参数是int类型，它没有用于 ADL 的关联命名空间。 所以第二个重载不是通过 ADL 找到的。 第二个重载也无法从模板的定义点通过调用非限定查找来访问，因此也不会以这种方式找到它。