template <typename T>
struct A {
operator auto() {
return T{};
}
};
Что означает "оператор auto"? В чём его отличие от explicit operator auto()
? Когда они применяются?
Stack Overflow на русском — это сайт вопросов и ответов для программистов. Присоединяйтесь! Регистрация займёт не больше минуты.
Присоединиться к сообществу// 1
struct widget {
operator int() { return 10; }
};
// 2
struct widget2 {
operator auto() { return std::string{"hello"}; }
};
// 3
struct widget3 {
explicit operator int() { return 10; }
};
// пример из вопроса
template <typename T>
struct A {
// метод для преобразования объектов типа A<T>
// в тип T (выведено)
operator auto() {
return T{};
}
};
int main()
{
widget w;
int wint = w; // ok
widget2 w2;
std::string wstr = w2; // ok
widget3 w3;
int w3int = w3; // error
int w3inte = static_cast<int>(w3); // ok
A<std::string> as;
std::string asstr = as; // ok
int asint = as; // error
}
Определенные пользователем преобразования. Есть возможность определить метод преобразования пользовательского типа в другой тип.
Вывод типа с помощью auto. Как к любой другой функции, auto
применим и к преобразователям.
Explicit-спецификатор. (для функций преобразования) указывает копилятору, что функцию преобразования не нужно рассматривать при неявных приведениях типа.
Начиная со стандарта C++14, ключевое слово auto
можно использовать для типа возвращаемого значения функции, указывая, что тип возвращаемого значения должен быть выведен. Вместе с этим, auto
может быть использован в операторах преобразования (также начиная с C++14).
Существует одно исключение, auto
нельзя использовать в шаблонных операторах преобразования. template <typename U> operator auto() { return 1; }
- не будет компилироваться.
В примере из вопроса operator auto() { return T{}; }
. Оператор преобразования не является шаблонным, требования к выведению типов соблюдены (все return
-ы имеют одинаковый тип) - можно выводить тип. Тип будет выведен как T
и данный оператор преобразования можно рассматривать как operator T{ return T{}; }