c++ - 重载解析在模板实例化点之后找到函数

Question

在下面的代码中，main 返回 2，而我希望它返回 0(或至少 7 )

extern struct S s;
template<typename T>
constexpr int global(T&) { return 0; }

template<typename T>
//constexpr
int func(T& t) { return global(t); }

int main()
{
    return global(s) + 2*func(s) + 4*([](auto &a){return global(a);})(s);
}

static constexpr int global(S&) { return 1; }

这段代码也在https://godbolt.org/z/RkkXwf上

如果我取消对 func 的 constexpr 的注释，结果将更改为预期的 0。

据我了解，重载决策应该只考虑模板实例化点之前的函数。但不知何故，它发现在这一点之后为既不是 constexpr 也不是通用 lambda 的上下文声明的那个。

为什么这三个查找找到不同的功能？

Answer 1

正如 n.m. 所提到的。在注释中，函数模板可以在翻译单元的末尾实例化，参见 #993和 temp.point .同一段说“如果两个不同的实例化点根据单一定义规则赋予模板特化不同的含义，则程序格式错误，不需要诊断。”