我正在尝试编写一个输入的函数.如果该输入可以直接传送到流(例如使用std :: cout<<),则返回输入不变.否则,它会尝试将输入转换为字符串,并返回字符串. 我有以下代码:
//Uses SFINAE to determine which overload to call //See: https://en.wikipedia.org/wiki/Substitution_failure_is_not_an_error //Basically,make_printable detects whether an object can be directly piped to a stream. //If it can't be piped to a stream,it's converted into a string. template<typename T,typename StreamT = void,typename = decltype(std::declval<T>().operator std::string())> std::string make_printable(const T& obj) { std::cout << "[std::string make_printable(obj)]"; return (std::string)obj; } template< typename T,typename StreamT = std::ostream,typename = decltype(std::declval<StreamT&>() << std::declval<T const &>())> const T& make_printable(const T& obj) { std::cout << "[const T& make_printable(obj)]"; return obj; }
此代码在调用可以转换为字符串或可以写入流的对象时有效,但如果我有一个可以转换为字符串并写入流的对象,则代码会由于歧义而失败在调用哪个函数方面.
解决方法
How can I rewrite these functions,or resolve this ambiguity,so that objects which can be both converted into a string and written to a stream are output as-is?
我的意思是……如果你为首选版本添加一个未使用的int参数,而为另一个添加一个long参数
template<typename T,typename = decltype(std::declval<T>().operator std::string())> std::string make_printable (T const & obj,long) { // ^^^^ <-- long argument std::cout << "[std::string make_printable(obj)]"; return (std::string)obj; } template< typename T,typename = decltype(std::declval<StreamT&>() << std::declval<T const &>())> T const & make_printable (T const & obj,int) { // ^^^ <-- int argument std::cout << "[const T& make_printable(obj)]"; return obj; }
如果你添加一个接收值的上层make_printable()并用int传递它
template <typename T> auto make_printable (T const & obj) { return make_printable(obj,0); }
当两个较低级别的版本都可用时,第二个版本是首选,因为int更适合int而不是long.
当只有一个较低的杠杆版本可用时,它被称为没有问题.
En passant:使用好的旧汽车…… – > decltype()表达返回类型的方式,SFINAE可以通过以下方式应用于您的函数
template <typename T> auto make_printable (T const & obj,long) -> decltype( obj.operator std::string() ) { std::cout << "[std::string make_printable(obj)]"; return (std::string)obj; } template <typename T,typename StreamT = std::ostream> auto make_printable (T const & obj,int) -> decltype( std::declval<StreamT>() << obj,obj ) { std::cout << "[const T& make_printable(obj)]"; return obj; }
我想这是个人品味的问题,但我觉得这样简单一些.
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。