Question

我试图在D语言的3D向量之间实现+，-，*，/之类的aritmetic操作（只是为了得到它的想法）值得从C ++迁移到D，我通常做3D图形和数值数学）。但是我错过了一些东西，代码不起作用（我试着根据附带的参考文献来做）。

#!/usr/bin/env rdmd
import std.stdio;

// https://dlang.org/spec/operatoroverloading.html
// https://github.com/PhilippeSigaud/D-templates-tutorial/blob/master/D-templates-tutorial.md#u-op-v--------opbinarystring-s-vv-v-if-s--opv-op-u--------opbinaryrightstring-s-vv-v-if-s--op

struct vec3f{ float x,y,z; }
vec3f opBinary(string op)(vec3f a, vec3f b){
         static if (op == "+"){ return vec3f(a.x+b.x,a.y+b.y,a.z+b.z); }
    else static if (op == "*"){ return vec3f(a.x*b.x,a.y*b.y,a.z*b.z); }
    else{ static assert(0, "Operator "~op~" not implemented"); }
}

struct vec3(T){ T x,y,z; }
auto opBinary(T,string op)(vec3!T a, vec3!T b){
         static if (op == "+"){ return vec3!T(a.x+b.x,a.y+b.y,a.z+b.z); }
    else static if (op == "*"){ return vec3!T(a.x*b.x,a.y*b.y,a.z*b.z); }
    else{ static assert(0, "Operator "~op~" not implemented"); }
}

void main(){
    //auto a = vec3!float(1.1,2.2,3.2);
    //auto b = vec3!float(3.1,2.2,1.2);
    auto a = vec3f(1.1,2.2,3.2);
    auto b = vec3f(3.1,2.2,1.2);
    writeln(a); writeln(b);
    writeln( a+b );
}

opBinary实现似乎编译得很好，但是当我尝试使用它时总是会出错：

./operator_overload.d(27): Error: incompatible types for ((a) + (b)): 'vec3f' and 'vec3f'
Failed: ["dmd", "-v", "-o-", "./operator_overload.d", "-I."]

编辑：我还根据this answer尝试mixin。有同样的错误。

struct vec3f{ float x,y,z; }
vec3f opBinary(string op)(vec3f a,vec3f b)if(op=="+"||op=="-"||op=="*"||op=="/"){
     mixin("return vec3f(a.x"~op~"b.x,a.y"~op~"b.y,a.z"~op~"b.z);");
}

编辑2 ：是的，它必须是结构体的一部分（我不知道是否有任何方法可以使其成为独立的功能）。这很完美：

#!/usr/bin/env rdmd
import std.stdio;

struct vec3(T){ 
    float x,y,z; 
    vec3!T opBinary(string op)(vec3!T b) if(op=="+"||op=="-"||op=="*"||op=="/"){ 
        mixin("return vec3!T(x"~op~"b.x,y"~op~"b.y,z"~op~"b.z);"); 
    }
}

void main(){
    auto a = vec3!float(1.1,2.2,3.2);
    auto b = vec3!float(3.1,2.2,1.2);
    writeln(a); writeln(b);
    writeln( a+b );
    writeln( a*b );
}

Answer 1

C ++和D之间的主要区别之一是D中的用户指定运算符始终是其中一个操作数的成员。对于二元运算符，如果结构是左侧，则运算符被称为opBinary，而对于右侧，它被称为opBinaryRight。没有其他方法可以理所当然：它使实现运算符重载变得非常复杂。您可能知道C ++在搜索运算符重载时会忽略名称空间，例如： <<和ostream&之间的int位于命名空间std中。你不需要写

std::operator<<(std::operator<<(std::cout, "Hello World."), std::endl);

的

std::cout << "Hello World." << std::endl;

因此，

。 D有一个模块系统。假设您有模块a，它为您提供了类型A和模块b，它为您提供了类型B，两者都没有直接相关。然后，此模块c的类型为C，运算符*采用类型A和B并返回C，因为{{ 1}}关联C和A。现在我导入B和a并在两个对象上使用b。编译器应该如何了解*？

运算符重载D语言中的结构

1 个答案: