c – 如何模拟一组相关类的运算符重载而不与标准库运算符冲突？

namespace ops{
  struct subtract_support{
    template<class T,std::enable_if_t<std::is_base_of<subtract_support,T>{},int> =0
    >
    friend T operator-( T lhs,T const& rhs ){
      lhs-=rhs;
      return lhs;
    }
  };
}

现在继承自ops :: subtract_support会导致 – 适用于您的类型. (注意两行主体：确保lhs移出 –,与OP中的版本不同).

仅仅命名空间限制会导致您找到任何模板生成类型,其中一个tge参数来自您的命名空间,以及其他非预期的情况：adl对模板成员来自特定命名空间的类型进行操作.

这个技巧允许您在声明时将每种类型标记为使用此技术.

这种技术几乎没有二元布局含义.但是如果你需要一些模糊的东西,比如前缀的布局兼容性,则可能需要特征类.

现在,这是一个C 11解决方案.显然OP需要C 03.好吧,最好的方法是像C 11一样实现它,这样在升级编译器时可以删除代码.

enable_if可以很容易地用C 03编写.is_base_of需要多几行：

namespace notstd{
  namespace details{
    template<class T,class U>
    struct base_test{
      typedef char no; // sizeof(1)
      struct yes { no unused[2]; }; // sizeof(2) or greater
      static yes test(T*); // overload if arg is convertible-to-T*
      static no test(...); // only picked if first overload fails
      // pass a `U*` to `test`.  If the result is `yes`,T
      // is a base of U.  Note that inaccessible bases might fail here(?)
      // but we are notstd,good enough.
      enum {value= (
        sizeof(yes)==sizeof(test((U*)0))
      )};
    };
  }
  template<class Base,class T>
  struct is_base_of{
    enum{value=details::base_test<Base,T>::value};
  };
  template<bool b,class T=void>
  struct enable_if {};
  template<class T>
  struct enable_if<true,T> {
    typedef T type;
  };
}

我们还需要在模板ADL运算符中调整SFINAE以符合C 03：

namespace ops{
  struct subtract_support{
    template<class T>
    friend
    typename notstd::enable_if<notstd::is_base_of<subtract_support,T>::value,T>::type
    operator-( T lhs,T const& rhs ){
      lhs-=rhs;
      return lhs;
    }
  };
}

Live example.

1例如,如果Foo是具有贪婪 – 模板运算符的命名空间中的类型,则decltype(v0-v1)其中v0和v1是vector< Foo>将是矢量< Foo>.这是误报(它不会编译).但是vec3< Foo> (具有自己的3 Foo的向量空间)将导致相同的模糊性.