有没有办法折叠C ++ 17中的初始化列表

时间:2019-04-07 20:37:17

标签: c++ c++17 initializer-list constantfolding

与使用参数包相反,有什么方法可以折叠初始化列表?我的问题是我有一个重载的构造函数,并且我想根据是否使用{}来调用不同的构造函数。这似乎可以与初始化列表一起使用,该列表可以在我使用{}时隐藏我的另一个自变量构造函数,而不是仅用()构造它的情况,但是如果使用参数包则失败不会隐藏我的另一个参数构造函数。

另外,我还看到人们在折叠表达式中附加了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,则可以使用参数pack ctor,但是即使使用{}语法,它也无法隐藏一个参数ctor。

Edit2:为了最大程度的方便,进一步更新了代码,只需将define更改为true即可看到参数包无法使用{}语法隐藏1和2参数构造函数,而初始化器列表ctor可以管理

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

0   0   

2   

3   3   

2   3   

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

0   0   

0   0   

3   3   

3   3   

1 个答案:

答案 0 :(得分:2)

由于=MAXIFS(INDEX(A:H,0,MATCH("shear X",2:2,0)),A:A,"story3") =AGGREGATE(14,7,INDEX(1:100,0,MATCH("shear X",2:2,0))/(A1:A100="story3"),1) =MAX(IF(A1:A100="story3",INDEX(1:100,0,MATCH("shear X",2:2,0)))) 的长度在编译时不知道(特别是具有不同元素数量的不同调用站点调用同一函数),因此不可能< / strong>对其执行任何initializer_list处理。 (相关的成员函数are constexpr,但不能在函数参数上使用它们。)特别是fold表达式需要一个参数包,其大小始终为常数表达式。