C++ преобразование Const пройти по ссылке

Question

Учитывая шаблон пройти по ссылке преобразования/типа произнесения оператора (без сопзЬ) возможно:

class TestA 
{ 
    public: 

     //Needs to be a const return 
     template<typename TemplateItem> 
     operator TemplateItem&() const {TemplateItem A; A = 10; return A;} 
}; 

int main() 
{ 
    TestA A; 
    { 
     int N; 
     N = A; 
     printf("%d!\n",N); 
    } 
    { 
     float N; 
     N = A; 
     printf("%f!\n",N); 
    } 
    return 0; 
} 

И дал следующий код (с сопзЬ):

class TestA 
{ 
    public: 

     //Produces error 
     template<typename TemplateItem> 
     operator const TemplateItem&() const {TemplateItem A; A = 10; return A;} 
}; 

Производит эти ошибки:

error: cannot convert 'TestA' to 'int' in assignment
error: cannot convert 'TestA' to 'float' in assignment

Вопрос

Как сделать так, чтобы оператор преобразования/типа-литья возвращал const-by-reference типа шаблона?

Контекст

Перед большинство людей приходят и урод о том, как «вы не можете преобразовать его в только что-нибудь», вы будете нуждаться в контексте. Вышеприведенный код - псевдокод - меня интересует только возможность ссылок на константу, а не ловушки шаблонной функции преобразования. Но если вам интересно, что это за, это относительно просто:

TemplateClass -> Conversion (включена в данные байт) -> Файл
TemplateClass < - Преобразование (меняется обратно из данных байт) < - Файл

Пользователь должен знать, что они выходят, или ожидается, что он будет автоматизирован (состояния сохранения/загрузки IE). И да, существует универсальный метод для шаблонов с использованием указателей для преобразования любого типа в байтовые данные.

И не давайте мне claptrap о том, что STD делает подобное. Процесс преобразования является частью более сложной библиотеки классов.

Я программист. Доверьтесь мне. C++ доверяет мне и позволяет мне ошибаться. Только я узнаю.

Answer 1

Во-первых, ваш оператор преобразования уже является неопределенным поведением, потому что вы возвращаете ссылку (const или нет) в локальную переменную, которая вышла за рамки. Он должен работать нормально, если вы измените оператор преобразования на возврат по значению, которое не вызовет UB.

EDIT: (удалена некорректная информация об операторах преобразования).

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

Еще одна возможная реализация - создать шаблонный метод as, который в основном выполняет то, что хочет сделать ваш оператор преобразования, и называть его как obj.as<int>().