参数包列表扩展导致可变参数构造函数重载失败

Question

我有一个带有两个可变参数构造函数的结构，区别在于第二个前面有一个 int const* 参数：

struct S
{
    template<class... Args> S(Args... args)
    {
        int arr[sizeof...(args)] = { args... }; // [A]
    }
    template<class... Args> S(int const *p, Args... args) {} // [B]
};

int main()
{   
    int i = 1;
    S s(&i, 1, 2); // [C]
    return 0;
}

使用 Visual C++ 2015，行 [A] 导致：error C2440: 'initializing': cannot convert from 'int *' to 'int'。如果我注释掉 [A] 行，那么它编译得很好，并且 [C] 调用 [B]，所以似乎初始化列表的存在导致编译器查看函数内部并贪婪地尝试将所有参数转换为 int , 忽略解释 [B]。

如果我保留 [A] 但将 [C] 中的构造函数调用更改为 S s((int const*)&i, 1, 2); 那么它也可以编译，所以 [A] 似乎阻止了从 int* 到 int const* 的隐式转换，这通常适用于常规函数。

如果我不想在所有构造函数调用中显式 const 转换指针，而不是行 [A]，我可以使用递归函数将参数包解压缩到 int 数组中，但这更麻烦。最简单的解决方案是将 [B] 更改为 template<class... Args> S(int *p, Args... args) {}，但这隐藏了我不更改 *p 的意图。

Answer 1

之所以选择[A]是因为参数包可以完全匹配int*，所以不需要进行const转换就可以得到[B]。

一种选择是使用重载的帮助器来简单地提供一个“值获取器”，您可以在参数包上调用它：

int get_value_impl(int _in)
{
   return _in;
}

int get_value_impl(const int* _in)
{
   return *_in;
}


struct S
{
    template<class... Args> S(Args... args)
    {
        int arr[sizeof...(args)] = { get_value_impl(args)... }; // [A]
    }
};

int main()
{   
    int i = 1;
    S s(&i, 1, 2); // [C]
    return 0;
}

现在你根本不需要 [B]。

如果你有更多的类型，你可以添加更多的重载到get_value_impl，你会保留S的结构。如果事情变得比这更复杂，您可能需要考虑使用 SFINAE 来选择 get_value_impl 的实现。我认为这个解决方案是一个更简单的标签调度。 Demo

Answer 2

重载可变参数模板会变得非常可怕。一种选择是添加一个重载，它采用 int* 并委托给 int const* 构造函数：

template<class... Args> S(int *p, Args... args) : 
    S(static_cast<int const*>(p), args...) { }

如果您要传授大型课程，您可能需要考虑完美转发args。

Answer 3

这是因为它选择了你的第一个构造函数，而不是第二个。原因是，&i 绑定到 int* const 的引用。

你可以做的是使用 type_traits 来选择 ctor，像这样 (C++14)：

template<typename First, typename ...Args> 
S(T && t, Args && ...args) : 
       S(  std::is_same<int,std::remove_reference_t<std::remove_cv<T>>>(), 
           std::forward<T>(t), std::forward<Args>(args)...) {}

template<typename ...Args>
S(std::false_type, int* const p, Args&&...args) //[A]

template<typename ...Args>
S(std::true_type, Args&&...args) //[B]