模板函数中默认参数的实例化点

Question

函数模板、成员函数模板、或类模板的成员函数或静态数据成员的专门化可以在翻译单元内具有多个实例化点，并且除了上述实例化点之外，对于在翻译单元内具有实例化点的任何这样的专门化，翻译单元的末尾也被认为是实例化点。类模板的专门化在翻译单元中最多有一个实例化点。任何模板的专门化都可能在多个翻译单元中具有实例化点。如果两个不同的实例化点根据一个定义规则赋予一个模板专门化不同的含义，则程序是格式不良的，不需要诊断。

现在考虑这个最小的可复制示例：

#include <iostream>
#include <array>
struct A {};
std::array<char, 2> show(float, A)
{
    std::cout << "2\n";
    return {};
}
template<typename T>
struct Fun {
    decltype(show(0, T{})) b;
};
template <typename T>
void func(T, int c = sizeof(Fun<T>{}.b))
{
    show(0, T{});
    std::cout << c << '\n';
}
int main()
{
    func(A{});
}
char show(int, A)
{
    std::cout << "1\n";
    return {};
}

GCC和Clang都输出12(godbolt)。

Answer 1

正如问题[temp.point]/8所引用的：

如果两个不同的实例化点根据一个定义规则赋予一个模板专门化不同的含义，则程序是格式不良的，不需要诊断。

根据单定义规则，如果定义中使用的名称的函数调用重载解析将产生定义外定义的不同实体，则两个定义就不相同。([basic.def.odr]/6.2)