重载运算符的模板：错误：重载'operator*'必须至少有一个类或枚举类型的参数

Templates to overload operators: error: overloaded 'operator*' must have at least one parameter of class or enumeration type

本文关键字：重载 有一个 参数 类型 枚举 operator 运算符 错误      更新时间：2023-10-16

我想在具有各种分量的结构上定义一个向量空间（即分量加法和标量乘法）。因此，在这个简短的示例中，我为特定结构重载operator*=，然后在任何operator*的模板中使用它。

以下代码编译并运行：

#include <assert.h>

struct myfloat3 { float x, y, z; };

myfloat3 operator*=(myfloat3& a, const float b) {
    a.x *= b; a.y *= b; a.z *= b;
    return a;
}
template<typename Pt>
Pt operator*(const Pt& a, const float b) {
    auto prod = a;
    prod *= b;
    return prod;
}
// template<typename Pt>
// Pt operator*(const float b, const Pt& a) {
//     auto prod = a;
//     prod *= b;
//     return prod;
// }

int main(int argc, char const *argv[]) {
    myfloat3 x {1, 2, 3};
    assert((x*3.0f).x == 3);
    return 0;
}

但是，如果我取消注释另一个排序的第二个重载float * myfloat3，我就会得到

$ g++ -std=c++11 sandbox/overload.cpp
sandbox/overload.cpp:20:4: error: overloaded 'operator*' must have at least one
      parameter of class or enumeration type
Pt operator*(const float b, const Pt& a) {
   ^
sandbox/overload.cpp:30:14: note: in instantiation of function template
      specialization 'operator*<float>' requested here
    assert((x*3.0f).x == 3);
             ^
/usr/include/assert.h:93:25: note: expanded from macro 'assert'
    (__builtin_expect(!(e), 0) ? __assert_rtn(__func__, __FILE__, __LINE...
                        ^
1 error generated.
$ g++ --version
Configured with: --prefix=/Applications/Xcode.app/Contents/Developer/usr --with-gxx-include-dir=/usr/include/c++/4.2.1
Apple LLVM version 6.0 (clang-600.0.56) (based on LLVM 3.5svn)
Target: x86_64-apple-darwin13.4.0
Thread model: posix

然而，使用不同的编译器可以工作：

$ g++ --version
g++ (Ubuntu 4.9.2-10ubuntu13) 4.9.2
$ g++ -std=c++11 sandbox/soverload.cpp

有什么想法吗？

使用带有enable_if的特征类来控制何时启用模板：

template<typename Pt> struct Is_vector: public std::false_type {};
template<> struct Is_vector<float3>: public std::true_type {};
template<typename Pt>
typename std::enable_if<Is_vector<Pt>::value, Pt>::type 
operator*(const Pt& a, const float b) {
    auto prod = a;
    prod *= b;
    return prod;
}
template<typename Pt>
typename std::enable_if<Is_vector<Pt>::value, Pt>::type 
operator*(const float b, const Pt& a) {
    auto prod = a;
    prod *= b;
    return prod;
}

请参阅https://en.wikibooks.org/wiki/More_C%2B%2B_Idioms/enable-if和Thrust reduction和重载运算符-（const float3&，const float 3&won'；不要为了解释而编译。

相关文章：