作者热门文章
- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
我定义了一个 boost::spirit::qi 规则:
boost::spirit::qi::rule<Iterator, Identifier()> id;
其中标识符定义为:
BOOST_STRONG_TYPEDEF(std::string, Identifier)
但是当我使用
BOOST_SPIRIT_DEBUG_NODE(id);
编译失败,错误如下:
boost_1_51_0/boost/spirit/home/support/attributes.hpp:1203: error: no match for 'operator<<' in 'out << val'
它列出了 ostream 的重载运算符。
知道 BOOST_STRONG_TYPEDEF 为原始类型定义了一个转换运算符,不应该使用 operator<<
时,编译器从标识符隐式转换为 std::string ?或者是否存在阻止编译器在尝试匹配其他运算符(即 operator<<
)时应用类型的强制转换运算符的限制?
当我定义以下运算符时,它会编译:
inline std::ostream& operator<<(std::ostream& os, const Identifier& id)
{
return os << static_cast<std::string const&>(id);
}
我用的是gcc4.4.2
最佳答案
这与 boost、strong_typedef 或 spirit 无关。
它与模板参数的类型推导有很大关系。简而言之,当推导参数类型时,隐式转换从不发生[1]
引用:
#include <iostream>
#include <string>
#include <boost/strong_typedef.hpp>
BOOST_STRONG_TYPEDEF(double, X)
int main() { std::cout << X(); }
没问题!将 double
替换为 std::string
,它不再起作用了。有什么不同?
流媒体运营商的声明不同。
对比
ostream& ostream::operator<<(double);
到
template<typename _CharT, typename _Traits, typename _Alloc>
inline basic_ostream<_CharT, _Traits>&
operator<<(basic_ostream<_CharT, _Traits>&, basic_string<_CharT, _Traits, _Alloc> const&)
运算符重载是一个函数模板,这一事实不允许任何隐式转换。
[1] 我想 initializer_list
在这里可能看起来有点像一个异常(exception),它可以扩大/缩小范围。不同的主题,虽然
关于c++ - 隐式转换不适用于 BOOST_STRONG_TYPEDEF 和 BOOST_SPIRIT_DEBUG_NODE,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/14631508/
我是一名优秀的程序员,十分优秀!