C++ 函数模板重载 : empty braces vs explicit int

Question

下面有一些非常基本的 C++ 函数模板重载解析示例(从实际代码中最小化)

struct S {
    S() {}
    S(int) {}
};

template <typename T = S>
void foo(T x) { std::cout << "S" << std::endl; }

template <>
void foo<S>(S x) { std::cout << "S spc" << std::endl; }

int main() {
    foo({});
    foo(0);
}

这里有两种情况。在第一种情况下，编译器应该默认初始化一些东西(比如 S)在第二种情况下将 int 转换为一些东西(比如 S)

Live example on godbolt

我相信在这两种情况下，特化都将赢得重载，因为特化完全匹配，并且通过部分排序 [temp.deduct.partial] 确实比主模板更特化

但是在这个例子中，clang 11 和 gcc 10.2 都同意在第二种情况下主模板获胜。这是两个编译器中的错误还是(可能)我不了解 C++ 标准？

Answer 1

只有一个候选人参与重载决议:

template <typename T=S> void foo(T);

函数模板特化的选择发生在之后。在这种情况下，我们有:

• foo({})无法推断 T (因为 {} 没有类型)，所以我们转而使用 T 的默认参数，即 S .这给了我们一个可行的候选人 - foo<S> .

  一旦我们决定调用 foo<S> ，然后我们考虑特化。有一个，所以它被选中。这打印 "S spc"

• foo(0) 可以推导出 T , T是 int .这给了我们一个可行的候选人 - foo<int> .对此没有专门化，这 [误导性] 打印 "S" (尽管这里没有涉及 S)。

默认模板参数仅在实际模板参数无法推断或未显式提供时才起作用。

如果你想要 foo(0)调用foo<S> , 需要防止扣取成功 int .但是到那时，为什么还要有一个模板，只需要一个带有S的函数？ .