模板常量类型转换运算符在 Linux (gcc) 下不起作用

Question

考虑以下程序：

#include <iostream>

template<int s>
class Pack
{
public:
    Pack(){}
    char data[s];
    template<typename X> operator X&(){ return *reinterpret_cast<X*>(data); }
    template<typename X> operator X const&()const{ return *reinterpret_cast<const X*>(data); }
};

int main()
{
    const Pack<8> p;
    const double d(p);
    std::cout<<d<<std::endl;
}

它在 Windows 下编译良好。 在linux下我得到：

test.cc: In function ‘int main()’:
test.cc:17: error: passing ‘const Pack<8>’ as ‘this’ argument of ‘Pack<s>::operator X&() [with X = double, int s = 8]’ discards qualifiers

为什么？为什么不采用 const 类型转换运算符？我怎样才能解决这个问题并仍然拥有方便的模板化类型转换运算符（在 const 和非 const 版本中）。 谢谢！

Answer 1

根据 C++03 标准，该代码格式不正确，因为模板参数推导将无法根据 const 推导出 X& 或 X const&双。

C++03 错过了在推导之前从转换函数的返回类型中剥离引用的声明，因此您永远无法在您的情况下获得匹配。对于 C++0x，此问题将得到修复 并包含在最新的工作文件中，因此它可以使用一些包含追溯修复的编译器进行编译。

你的代码实际上有一个不同的问题：GCC确实实现了缺陷报告解析，因此比较double（它在演绎！）针对X和针对X const。只有 X 匹配，因此只有第一个转换函数是带有 const Pack<8> 参数的调用中的单个候选函数 - 这就是 GCC 抱怨缺少 的原因const 转换函数。如果您尝试以下代码，它会起作用

// can't strip cv-qualifiers off "double const&" - there are no top-level 
// cv qualifiers present here!
double const &d(p);