从D的documentation:
另外,您可以声明一个带有auto ref参数的模板化opEquals函数:
bool opEquals()(auto ref S s) { ... }
如果结构声明了opCmp成员函数,则应遵循以下形式:
int opCmp(ref const S s) const { ... }
为什么以下代码无法编译呢?
import std.stdio;
import std.conv;
struct Fgs {
int v;
this(int iv) {
v = iv;
}
bool opEquals()(auto ref Fgs another) {
return v == another.v;
}
int opCmp(ref const Fgs another) const {
if (this == another) {
return 0;
} else if (this.v < another.v) {
return -1;
} else {
return 1;
}
}
}
unittest {
auto a = Fgs(42);
auto b = Fgs(10);
assert(a != b);
assert(a > b);
}
这是DMD的输出:
/home/mfag/lighthouse/testss.d(15): Error: template testss.Fgs.opEquals does not match any function template declaration
/home/mfag/lighthouse/testss.d(10): Error: template testss.Fgs.opEquals() cannot deduce template function from argument types !()(const(Fgs))
最佳答案
编写时未考虑const
。这应该工作:
bool opEquals()(auto const ref Fgs another) const
但这是语言的一个领域,处在不断变化的状态,将来可能会在非模板上使用
auto ref
。