Пользовательский оператор преобразования не работает с ссылками

У меня есть простая оболочка примитивного типа:

template <typename T>
class Scalar {
public:
explicit Scalar(T value) : value{value} {}

Scalar(Scalar&& other) = default;
Scalar& operator=(Scalar&& other) = default;
Scalar(const Scalar& other) = default;
Scalar& operator=(const Scalar& other) = default;

template <typename U>
explicit operator Scalar<U>() {
return Scalar<U>{static_cast<U>(this->value)};
}

inline T getValue() const noexcept { return this->value; }
private:
T value;
};

Преобразование скалярных значений работает хорошо, но как-то не получается для ссылок, например,

auto a = Scalar<double>{2.54};
Scalar<int> b = static_cast<Scalar<int>>(a); // works

const auto& c = a;
Scalar<int> d = static_cast<Scalar<int>>(c); // fails

Вот ошибка компиляции (можно проверить здесь http://rextester.com/GOPYU13091), есть идеи, в чем может быть проблема здесь?

source_file.cpp: In function ‘int main()’:
source_file.cpp:31:47: error: no matching function for call to ‘Scalar(const Scalar<double>&)’
Scalar<int> d = static_cast<Scalar<int>>(c);
^
source_file.cpp:12:3: note: candidate: Scalar<T>::Scalar(const Scalar<T>&) [with T = int] <near match>
Scalar(const Scalar& other) = default;
^
source_file.cpp:12:3: note:   conversion of argument 1 would be ill-formed:
source_file.cpp:31:47: error: could not convert ‘c’ from ‘const Scalar<double>’ to ‘const Scalar<int>&’
Scalar<int> d = static_cast<Scalar<int>>(c);
^
source_file.cpp:10:3: note: candidate: Scalar<T>::Scalar(Scalar<T>&&) [with T = int] <near match>
Scalar(Scalar&& other) = default;
^
source_file.cpp:10:3: note:   conversion of argument 1 would be ill-formed:
source_file.cpp:31:47: error: could not convert ‘c’ from ‘const Scalar<double>’ to ‘Scalar<int>&&’
Scalar<int> d = static_cast<Scalar<int>>(c);
^

0

Решение

Это const против неconst проблема, а не ссылка на объект.

С помощью

auto& c = a;
Scalar<int> d = static_cast<Scalar<int>>(c);

работает для меня.

Изменяя пользовательский оператор преобразования на const функция-член

template <typename U>
explicit operator Scalar<U>() const {
return Scalar<U>{static_cast<U>(this->value)};
}

Также убедитесь, что следующие работы.

const auto& c = a;
Scalar<int> d = static_cast<Scalar<int>>(c);
5

Другие решения

Других решений пока нет …

По вопросам рекламы [email protected]