c++ - 关于为模板提供默认类型的问题

Question

比如我写了下面这段代码:

struct default_type {};

template <typename U = default_type> auto func(int x, U u) {
    if constexpr(is_same<U, default_type>::value) {
        return x * 2;
    }
    else {
        return u(x);
    }
}

int main() {
    cout << "5 + 3 = " << func(5, [](int x){ return x + 3; }) << endl;
    cout << "5 * 2 = " << func(5) << endl;
}

但这会给出一个编译器错误“没有匹配函数来调用‘func(int)’”。执行此操作的正确方法是什么？

Answer 1

您提供了默认类型，但没有提供默认值。该函数仍然需要两个参数，default_type 将被推导的参数覆盖，使其无用。

这样做:

template <typename U = default_type>
auto func(int x, U u = {}) { ... } // (1)

我不能用确切的标准来支持这一点，但简而言之:U 是在模板参数推导 阶段获得的(没有推导规则 - 不考虑默认值function arguments, therefore defaulted)，它出现在重载解析阶段之前，此时默认函数参数被解释，已经知道 U 的类型，这使得列表初始化有效。

---

是的，你也可以这样写:

template <typename U = default_type>
auto func(int x, U u = U()) { ... } // (2)

或

template <typename U = default_type>
auto func(int x, U u = default_type()) { ... } // (3)

当显式提供 U 类型时语义略有不同(我不认为你会这样做):

func<not_the_default_type>(5);

这里，(1) 和 (2) 是等价的，但是在 (3) 中，U 的构造是通过构造一个临时的 default_type 实现的，然后将其转换为 not_the_default_type。

---

最后，完全相反的错误是期望 U 在这里推导:

template <typename U>
auto func(int x, U u = default_type()) { ... }

事实并非如此。参见 this Q&A .