enable_if 和转换运算符？

Question

有机会将 enable_if 与类型转换运算符一起使用吗？看起来很棘手，因为返回类型和参数列表都是隐式的。

Answer 1

根据我所做的一点研究（并忽略 Johannes 的 c++0x 注释），我的答案是，这取决于您想要 enable_if 的用途。如果您希望从类型 T 到 T 的转换操作存在或不存在，那么答案似乎是否定的，在 C++03 中没有办法（如乌戈说）。但是，如果您需要 enable_if 根据 T 的类型更改运算符的行为，那么是的，有一个解决方法是调用启用的辅助函数（如 Matthieu 建议的那样称为 to）。

#include<iostream>
#include<boost/utility/enable_if.hpp>
#include<boost/type_traits/is_class.hpp>

struct B{
    B(const B& other){}
    B(){}
};

struct A{
    template<class T>
    T to(typename boost::enable_if_c<not boost::is_class<T>::value, void*>::type = 0){
        std::clog << "converted to non class" << std::endl;
        return T(0);
    }
    template<class T>
    T to(typename boost::enable_if_c<boost::is_class<T>::value, void*>::type = 0){
        std::clog << "conveted to class" << std::endl;
        return T();
    }
    template<class T>
    operator T(){
        return to<T>();
    }
};

int main(){
    A a;
    double d = (double)a; // output: "converted to non class"
    B b = (B)(a); // output: "converted to class"
    return 0;
}

根据记录，我对此感到沮丧好几天，直到我意识到我想要 enable_if 不是为了 SFINAE，而是为了编译时行为更改。您可能还会发现这也是您需要 enable_if 的真正原因。只是一个建议。

（请注意，这是C++98时代的答案）

Answer 2

删除文档：
似乎没有办法为转换运算符指定启用程序。但是，转换构造函数可以将启动器作为额外的默认参数。

Answer 3

虽然我可以理解这个问题的理论意义，但我个人尽可能避免使用转换运算符。

我唯一一致使用的是转换为伪布尔值（使用 Safe Bool 习语），用于智能指针或代理，并且如上所述，我使用一种技巧来实际阻止完整的布尔语义...

如果我如果想要促进转换，我更喜欢这样的东西：

template <class T>
T to() const;

它不受转换运算符（在签名方面）的限制，并且需要显式调用，只是因为它更清晰一些。

Answer 4

其实我已经找到办法了；我们使用私有的、未使用的类来标记不应该存在的转换，并使用 boost::mpl::if_ 来选择是否生成 NoConversion 或所需类型的转换。

class A {
    class NoConversion { };
    template<class B> operator typename boost::mpl::if_<Cond, B, NoConversion>::type() const;
}