c++ - 在类模板中指定构造函数模板的整数模板参数

Question

我正在创建一个 std::tuple 等同于 union(而不是 struct)。为此，我还添加了一个构造函数模板，其中第一个模板参数是 size_t idx，以初始化 union 的 idx^th 元素.此外，还有另一个 variadic template 来指定实际类型构造函数的参数是什么。

不幸的是，我似乎无法在调用构造函数时指定 idx 模板参数，而且它也不是隐含的(因为它不是参数列表的一部分)。有没有办法解决？如何指定 size_t 构造函数模板参数？

示例代码:

#include <iostream>

template<typename T>
struct Foo
{
    T d_val;
    size_t d_other_val;
    template<size_t idx>
    Foo(T val)
    {
        d_val = val;
        d_other_val = idx;
    }
};


int main() {
    Foo<double> f = Foo<4>(2.6);

    std::cout << f.d_val << " " << f.d_other_val << '\n';
}

来源:http://ideone.com/UeBvF5

当然，4 在类模板上匹配，而不是在构造函数模板上匹配。这是可以修复的吗？请注意， idx 应该是编译时的东西，而不是普通的构造函数参数。虽然在这个例子中，这将是微不足道的解决方案。

PS:问题当然是，一般来说，构造函数模板是由调用构造函数的参数隐含的。据我所知，隐式规范对于 idx 模板参数是不可能的。

Answer 1

[temp.arg.explicit]/7 读取:

[ Note: Because the explicit template argument list follows the function template name, and because conversion member function templates and constructor member function templates are called without using a function name, there is no way to provide an explicit template argument list for these function templates. —end note ]

因此您必须将 size_t idx 作为常规参数传递，或者将其添加为 struct Foo 的模板参数。