2

我在高度模板化的代码中遇到了问题，我在这个示例程序中隔离了它（我用 g++ 4.7.1 编译）：

#include <iostream>
#include <initializer_list>
#include <type_traits>
#define OPTION 2

// Test class
template<typename T = double>
class MyClass
{
    public:
        // Constructors
        MyClass(const MyClass<T>& source) 
        {std::cout<<"copy constructor"<<std::endl;}

        #if OPTION == 1
        template<typename T2 = T> 
        MyClass(const std::initializer_list<T2>& source) 
        {std::cout<<"init constructor"<<std::endl;} // OPTION 1
        #elif OPTION == 2
        template<typename T2 = T, class... Misc> 
        MyClass(const std::initializer_list<T2>& source, const Misc&... misc) 
        {std::cout<<"init+misc constructor"<<std::endl;} // OPTION 2
        #endif

        template<class... Misc> 
        explicit MyClass(const Misc&... misc) 
        {std::cout<<"misc constructor"<<std::endl;}

        // Assignment
        inline MyClass<T>& operator=(const MyClass<T>& rhs) 
        {std::cout<<"copy assignment"<<std::endl; return *this;}

        template<class Misc> 
        inline MyClass<T>& operator=(const Misc& rhs) 
        {std::cout<<"misc assignment"<<std::endl; return *this;}
};

// Main
int main(int argc, char* argv[])
{
    MyClass<double> x;
    x = {4., 8., 15., 16., 23., 42.}; // CALL LINE
    return 0;
}

问题如下。使用OPTION == 1，一切正常，CALL LINE调用“init 构造函数”。

但是OPTION == 2，我有以下错误消息：

error: converting to ‘const MyClass<double>’ from initializer list would use
explicit constructor ‘MyClass<T>::MyClass(const Misc& ...) [with Misc = {double, 
double, double, double, double, double}; T = double]’

问题是：为什么？这是正常的还是 g++ 的错误？

此外，我需要一个解决方法：我必须在没有选项 1 的情况下实现选项 2 构造函数。对我来说最明显的事情是使用 enable if 阻止对显式构造函数的调用，例如：

    template<class... Misc, class std::enable_if<SOMETHING>::type> 
    explicit MyClass(const Misc&... misc) 
    {std::cout<<"misc constructor"<<std::endl;}

我的问题是：我可以写什么而不是SOMETHING为了阻止每个std::initializer_list<T2>（对于所有 T2 类型）？

4

1 回答 1

3

对于第一个问题，关于错误消息：

中的构造函数OPTION==2不被视为初始化列表构造函数，因为这样的构造函数要么必须具有单个std::initializer_list<E> 参数（或此类引用），要么所有其他参数都应具有默认参数。（8.5.4 列表初始化 [dcl.init.list] #2）。

因此，没有找到初始化列表构造函数，编译器尝试使用由初始化列表元素组成的参数列表的其他构造函数，找到显式构造函数，并且由于我们处于隐式转换的上下文中（初始化赋值运算符的参数)，失败并显示错误消息。

于 2012-12-07T14:13:04.647 回答