C++ 只提供不可推导的模板类型

Question

假设我们有一个依赖于两种模板类型的类，其中一种是我们专门研究构造函数，我们可以不专门研究可推导类型吗？

template <typename T, typename I>
class A {
public:
    A(I i) {

    }
};

int main() {
    A<float, int> a(42); // this works, but we can deduce int from 42

    A<float> aa(42); // doesn't work
    //or
    auto aaa = A<float>(42); // doesn't work
}

Answer 1

在C++20中，可以这样使用别名模板推导：

template <typename I>
using A_float = A<float, I>;

int main() {
    A_float a(42);
    auto aa = A_float(42);
}

在 godbolt.org 上试用：Demo。

或者，您可以定义一个make 函数并从函数参数推导出I。因为copy elision，所以效率不亚于直接构造A：

template <typename T, typename I>
auto make_a(I i) { return A<T, I>(i); }

int main() {
    auto a = make_a<float>(42);
}

在 godbolt.org 上试用：Demo。