如何测试具有编译时已知长度的 std::initializer_list 的 ctor？答案

【问题标题】：How to test a ctor taking std::initializer_list with a compile-time known length?如何测试具有编译时已知长度的 std::initializer_list 的 ctor？
【发布时间】：2020-09-16 02:33:21
【问题描述】：

出于测试目的，我想用简单的std::initializer_list 调用构造函数。假设值无关紧要，长度、值和类型在编译时是已知的，例如{ 42, 42, 42,... N-times }。

由于它的构造函数是私有的，我尝试了一些包扩展：

template< int Count, typename ValueType, int Value, int... Values >
struct Generator
    : Generator< Count-1, ValueType, Value, Value, Values... >
{};

template< typename ValueType, int Value, int... Values >
struct Generator< 0, ValueType, Value, Values... >
{
    static constexpr inline std::initializer_list<ValueType>
    get()
    { return { static_cast<ValueType>(Values)... }; }
};

所以Generator<3,int,10>::get() 给了我{10,10,10}，是的！但我似乎有一个终身问题，因为initializer_list 只是一个代理对象，从函数内的{..}-表达式返回。测试没有看到我期望的值。我是否忽略了什么？

struct A {
    A(std::initializer_list<int> l)
    { for(auto i:l) std::cout << i << std::endl; }
};

int main() {
    A a { Generator<3, int, 10>::get() };
    return 0;
}
// prints:
// 32765
// 1762362376
// 32765

直播：https://godbolt.org/z/jYWKB3

【问题讨论】：

标签： c++ c++11 constructor initializer-list

【解决方案1】：

是的，这是一个终身问题。虽然花括号中的每个值在编译时都是已知的，但initializer_list 只是一个具有两个指针（或指针+大小）的代理，它们在函数完成后指向死堆栈内存。

我通过将被测软件的构造移动到可变参数模板中来解决它：

template< typename TestType, int Count, typename ValueType, int Value, int... Values >
struct InitListCtorTest
    : InitListCtorTest< TestType, Count-1, ValueType, Value, Value, Values... >
{};

template< typename TestType, typename ValueType, int Value, int... Values >
struct InitListCtorTest< TestType, 0, ValueType, Value, Values... >
{
    TestType m_testobj { static_cast<ValueType>(Values)... };
};

struct SUT {
    SUT(std::initializer_list<int> l){/*...*/}
};


int main() {
    InitListCtorTest<SUT,3,int,10> gen;
    // Test, if gen.m_testobj has 3 elements with value 10.
    return 0;
}

【讨论】：