C++转换 const 按引用传递

Question

给定模板传递引用转换/类型转换运算符（不带 const）是可能的：

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;
}

并给定以下代码（带 const）：

class TestA
{
    public:

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

产生这些错误：

错误：无法在赋值中将“TestA”转换为“int”
错误：无法在赋值中将“TestA”转换为“float”

问题

如何使转换/类型转换运算符返回模板类型的 const 传递引用？

上下文

在大多数人进来并担心“你不能将其转换为任何东西”之前，您需要上下文。上面的代码是伪代码 - 我只对 const 引用返回是否可能感兴趣，而不是模板化转换函数的陷阱。但如果您想知道它的用途，它相对简单：

TemplateClass ->转换（转成字节数据）->文件
TemplateClass <- 转换（从字节数据改回） <- 文件

用户应该知道他们将得到什么，或者希望它是自动化的（IE 保存/加载状态）。是的，模板有一种通用方法，使用指针将任何类型转换为字节数据。

不要让我夸夸其谈 std 已经在做这种事情了。转换过程是更复杂的类库设置的一部分。

我是一名程序员。相信我。 C++ 信任我并允许我犯错误。我学习的唯一方法。

Answer 1

首先，您的转换运算符已经是未定义的行为，因为您返回了对超出范围的局部变量的引用（const 或非 const）。如果您将转换运算符更改为按值返回，那么它应该可以正常工作，而不会引起 UB。

编辑：（删除了有关转换运算符的不正确信息）。

但是您真的确定您真的希望您的类类型可以转换为任何类型吗？当您维护代码并且它会自动转换为意外类型时，这似乎只会在将来引起许多麻烦。

另一种可能的实现是创建一个 as 模板方法，该方法基本上执行转换运算符想要执行的操作，并像 obj.as() 一样调用它。