Как я могу создать шаблонный конструктор, позволяющий использовать все l-value ref, r-value ref и initializer_list?

Я пытаюсь создать класс, который имеет два вектора больших последовательностей.

std::vector<double> factory() {
    return std::vector<double>{1,2,3}; // it actually generates a large sequence of double
}

struct my_class {
    my_class(const std::vector<double>& x, const std::vector<double>& y)
     : m_x(x), m_y(y)
    { }

    std::vector<double> m_x;
    std::vector<double> m_y;
};

int main() {
    my_class c(factory(), factory());
    my_class c2(factory(), {0.5, 1, 1.5});
}

Что ж, он работает хорошо, но не использует конструктор перемещения вектора. Поэтому я попытался изменить конструктор, чтобы он принимал ссылки на r-значение с идеальной пересылкой.

struct my_class {
    template<typename X, typename Y>
    my_class(X&& x, Y&& y
             , typename std::enable_if<std::is_convertible<X, std::vector<double> >::value &&
                                       std::is_convertible<Y, std::vector<double> >::value>::type * = 0
            )
     : m_x(std::forward<X>(x)), m_y(std::forward<Y>(y))
    { }

    std::vector<double> m_x;
    std::vector<double> m_y;
};

И теперь у меня проблема. Когда я пытаюсь создать экземпляр с помощью initializer_list, я получаю такую ​​ошибку.

$ g++ -W -Wall -std=gnu++0x a.cpp
a.cpp: In function ‘int main()’:
a.cpp:34:32: error: no matching function for call to ‘my_class::my_class(std::vector<double>, <brace-enclosed initializer list>)’
a.cpp:17:18: note: candidate is: my_class::my_class(const my_class&)

Я подумал, что std :: initializer_list не может быть преобразован в std :: vector , но на самом деле он может быть преобразован, и я получил ту же ошибку, когда Я пробовал без аргумента enable_if. Я что-то упустил?

5
задан iammilind 5 November 2011 в 08:04
поделиться