php static_cast<unsigned int>,c – 使用static_cast实现的转换运算符

在我提出

here问题之后,我问这个问题.

关键很简单.假设你有两类这样的类：

template < class Derived >

class Base {

...

operator const Derived&() const {

return static_cast< const Derived& >(*this);

}

...

};

class Specialization : public Base {

...

};

然后假设您有类似这样的类型转换：

template < class T >

functionCall( const Base& param) {

const T & val(param);

...

}

问题是：这种转换的标准符合行为应该是什么？

它应该与const T& val(static_cast< const T&>(param))还是应该递归迭代直到堆栈溢出？请注意,我获得了第一个用GNU g编译的行为,第二个用Intel icpc编译.

我已经试图查看标准(关于static_cast的第5.9节和关于转换的第12.3节),但由于我缺乏经验,我无法找到答案.

我非常感谢任何人花时间帮我解决这个问题.