c++ - 有没有办法在 C++17 中折叠初始化列表

问题描述

有没有办法做初始化列表折叠而不是使用参数包？我的问题是我有一个重载的构造函数，我想根据我是否使用来调用不同的构造函数{}。这似乎与初始化列表一起工作得很好，当我使用它时，它设法隐藏我的另一个参数构造函数{}，而不是当我只用构造它时()，但如果我使用不隐藏我的另一个参数构造函数的参数包，它会失败.

另外，我看到人们在他们的折叠表达式中附加了 void，当我提到 cppreference 时我无法理解，它似乎对我的程序也没有任何影响。

编辑：根据要求，举例说明问题：

#include <iostream>
#define USE_PARAMETER_PACK false

template<typename T>
struct Mega
{
    int d;
    T* arr;
    Mega(int d) : d(d), arr(new T[d]) {}

    Mega(int d, T u) : d(d), arr(new T[d])
    {
        std::fill(arr, arr + d, static_cast<T>(u));
    }
#if USE_PARAMETER_PACK == true
    template<typename ...Ts>
    Mega(Ts&& ... vals) : d(sizeof...(Ts)), arr(new T[sizeof...(Ts)])
    {
        // fills the array with the arguments at compile time
        int i = 0;
        (void(arr[i++] = static_cast<T>(vals)), ...);
    }
#else
    template<typename U>
    Mega(const std::initializer_list<U>& list) : d(list.size()), arr(new T[d])
    {
        auto it = list.begin();
        //int i = 0;
        //((arr[i++] = (list)), ...);
        for (size_t i = 0; i < d; ++i, ++it)
            arr[i] = static_cast<T>(*it);
    }
#endif
};

template<typename T>
std::ostream& operator<<(std::ostream& os, const Mega<T>& m)
{
    for (size_t i = 0; i < m.d; ++i)
        os << m.arr[i] << "\t";
    return os;
}

int main()
{
    int* k;
    k = new int[2];
    k[0] = 2;
    k[1] = 3;
    Mega<int> l( k[0] );
    // hides 1 argument ctor through {} invocation if using initializer_list,
    // not so with parameter pack
    Mega<int> m({ k[0]}); 
    Mega<int> n(k[0], k[1]);
    // hides 2 argument ctor through {} invocation if using initializer list
    // not so with parameter pack
    Mega<int> o({ k[0], k[1] }); 
    std::cout << l << "\n";
    std::cout << m << "\n";
    std::cout << n << "\n";
    std::cout << o << "\n";

    return 0;
}

注意注释掉的部分，我希望能够做这样的事情，以便在编译时计算出已知大小参数列表的填写过程，而不是我使用 for 循环。应该为第一个 cout 打印一些垃圾值，为第二个 cout 打印 2（至少在 MSVC2017 中是这样，不知道这种隐藏机制是否符合标准）。请注意，如果将define 设置为true，则可以使用参数包ctor，但即使使用{}语法，它也无法隐藏一个参数ctor。

Edit2：为了最大的方便，进一步更新了代码，只需将定义更改为 true 以查看参数包无法使用{}语法隐藏 1 和 2 参数构造函数，而初始化列表 ctor 设法隐藏。

链接：使用初始化列表： http ://coliru.stacked-crooked.com/a/7b876e1dfbb18d73 输出：

使用参数包： http ://coliru.stacked-crooked.com/a/11042b2fc45b5259 输出：

标签： c++c++17initializer-listconstantfolding

c++ - 有没有办法在 C++17 中折叠初始化列表

问题描述

解决方案

推荐阅读