c++ - 巴顿-纳克曼 vs std::enable_if

Question

什么是可取的（如果有的话）？

变体 A（Barton-Nackman）：

template<class T>
struct equal_comparable {
    friend bool operator == (const T & t1, const T & t2) {
        return t1.equalTo (t2);
    }
};

class MyClass : private equal_comparable<MyClass> {
    bool equalTo (const MyClass & other)  //...
};

变体 B (std::enable_if)：

struct MyClass {
    static const bool use_my_equal = true;
    bool equalTo (const MyClass & other) //...
};

template<class T>
typename std::enable_if<
    T::use_my_equal,
    bool
>::type
operator == (const T & t1, const T & t2) { return t1.equalTo (t2); }

Answer 1

我更喜欢使用@SteveJessop在评论中提到的Boost.Operators，它可以使您的第一种方法形式化和自动化。如果您碰巧需要多组运算符（因此需要多重继承），它们还会处理空基优化。与其说是打字的节省，不如说是代码文档/执行的价值，因为这些基类就在类接口的前面。从这个意义上说，它是概念的一种原始方式。