- c - 在位数组中找到第一个零
- linux - Unix 显示有关匹配两种模式之一的文件的信息
- 正则表达式替换多个文件
- linux - 隐藏来自 xtrace 的命令
请参阅下面我对 C# 规范的一部分的剖析;我想我一定遗漏了什么,因为对我来说,我在这个问题中描述的行为实际上违反了规范。
好的,经过进一步思考,并根据一些评论,我想我现在明白发生了什么事了。规范中的“源类型”一词指的是从 转换的类型——即我下面示例中的Type2
——这仅仅意味着编译器能够将候选者缩小到定义的两个运算符(因为 Type2
是两者的源类型)。但是,它不能进一步缩小选择范围。所以规范中的关键词(因为它适用于这个问题)是“源类型”,我之前将其误解(我认为)为“声明类型”。
假设我定义了这些类型:
class Type0
{
public string Value { get; private set; }
public Type0(string value)
{
Value = value;
}
}
class Type1 : Type0
{
public Type1(string value) : base(value) { }
public static implicit operator Type1(Type2 other)
{
return new Type1("Converted using Type1's operator.");
}
}
class Type2 : Type0
{
public Type2(string value) : base(value) { }
public static implicit operator Type1(Type2 other)
{
return new Type1("Converted using Type2's operator.");
}
}
然后说我这样做:
Type2 t2 = new Type2("B");
Type1 t1 = t2;
显然这是不明确的,因为不清楚应该使用哪个 implicit
运算符。我的问题是——因为我看不到解决这种歧义的任何方法(这不像我可以执行一些显式转换来澄清我想要的版本),但上面的类定义确实可以编译-- 为什么编译器会完全允许那些匹配的隐式
运算符?
好吧,我将逐步浏览 Hans Passant 引用的 C# 规范的摘录,以试图理解这一点。
Find the set of types, D, from which user-defined conversion operators will be considered. This set consists of S (if S is a class or struct), the base classes of S (if S is a class), and T (if T is a class or struct).
我们正在将从 Type2
(S) 转换为 Type1
( T)。所以这里的 D 似乎包括示例中的所有三种类型:Type0
(因为它是 S 的基类),Type1
(T) 和Type2
(S)。
Find the set of applicable user-defined conversion operators, U. This set consists of the user-defined implicit conversion operators declared by the classes or structs in D that convert from a type encompassing S to a type encompassed by T. If U is empty, the conversion is undefined and a compile-time error occurs.
好的,我们有两个运算符满足这些条件。 Type1
中声明的版本符合要求,因为Type1
在D中,它是从Type2
(显然包含S) 到 Type1
(显然包含在 T 中)。 Type2
中的版本 也 出于完全相同的原因满足要求。所以 U 包括这两个运算符。
最后,关于在 U 中找到运算符的最具体的“源类型”SX:
If any of the operators in U convert from S, then SX is S.
现在,U 中的两个 运算符都从 S 转换而来——所以这告诉我 SX 是 < strong>S.
这是否意味着应该使用 Type2
版本?
但是等等!我很困惑!
我不能只定义运算符的Type1
版本吗,在这种情况下,唯一剩下的候选者将是Type1
的版本,但根据规范 SX 将是 Type2
?这似乎是一种可能的情况,其中规范强制执行不可能的事情(即,在 Type2
中声明的转换实际上不存在时应该使用)。
最佳答案
归根结底,不能完全成功地禁止。你和我可以发布两个程序集。他们我们可以开始使用彼此的程序集,同时更新我们自己的程序集。然后我们每个人都可以在每个程序集中定义的类型之间提供隐式转换。只有当我们发布下一个版本时,才能捕获到它,而不是在编译时。
不试图禁止不能禁止的事情是有好处的,因为它有利于清晰和一致(这对立法者来说是一个教训)。
关于c# - 等效的隐式运算符 : why are they legal?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/3561619/
Or 运算符 对两个表达式进行逻辑“或”运算。 result = expression1 Or expression2 参数 result 任意数值变量。 expression1 任意
Not 运算符 对表达式执行逻辑非运算。 result = Not expression 参数 result 任意数值变量。 expression 任意表达式。 说明 下表显示如何
Is 运算符 比较两个对象引用变量。 result = object1 Is object2 参数 result 任意数值变量。 object1 任意对象名。 object2 任意
\ 运算符 两个数相除并返回以整数形式表示的结果。 result = number1\number2 参数 result 任意数值变量。 number1 任意数值表达式。 numbe
And 运算符 对两个表达式进行逻辑“与”运算。 result = expression1 And expression2 参数 result 任意数值变量。 expression1
运算符(+) 计算两个数之和。 result = expression1 + expression2 参数 result 任意数值变量。 expression1 任意表达式。 exp
我对此感到困惑snippet : var n1 = 5-"4"; var n2 = 5+"4"; alert(n1); alert(n2); 我知道 n1 是 1。那是因为减号运算符会将字符串“4”转
我想我会得到 12,而不是 7。 w++,那么w就是4,也就是100,而w++, w 将是 8,1000;所以 w++|z++ 将是 100|1000 = 1100 将是 12。 我怎么了? int
Xor 运算符 对两个表达式进行逻辑“异或”运算。 result = expression1 Xor expression2 参数 result 任意数值变量。 expression1
Mod 运算符 两个数值相除并返回其余数。 result = number1 Mod number2 参数 result 任意数值变量。 number1 任意数值表达式。 numbe
Imp 运算符 对两个表达式进行逻辑蕴涵运算。 result = expression1 Imp expression2 参数 result 任意数值变量。 expression1 任
Eqv 运算符 执行两个表达式的逻辑等价运算。 result = expression1 Eqv expression2 参数 result 任意数值变量。 expression1 任
我有一个运算符重载的简单数学 vector 类。我想为我的运算符(operator)获取一些计时结果。我可以通过计时以下代码轻松计时我的 +=、-=、*= 和/=: Vector sum; for(s
我是用户定义比较运算符的新手。我正在读一本书,其中提到了以下示例: struct P { int x, y; bool operator、运算符<等),我们
在 SQL 的维基百科页面上,有一些关于 SQL 中 bool 逻辑的真值表。 [1] 维基百科页面似乎来源于 SQL:2003 标准。 等号运算符 (=) 的真值表与 SQL:2003 草案中的 I
我遇到了一个奇怪的 C++ 运算符。 http://www.terralib.org/html/v410/classoracle_1_1occi_1_1_number.html#a0f2780081f
我正在阅读关于 SO 和 answers 中的一个问题,它被提到为: If no unambiguous matching deallocation function can be found, pr
我偶然发现了这个解决方案,但我无法理解其中到底发生了什么。谁能解释一下! 据我了解,它试图通过计算一半的单元格然后将其加倍来计算 a*b 网格中的单元格数量。但是我无法理解递归调用。 请不要建议其他解
Go的基本类型 布尔类型bool 长度:1字节 取值:布尔类型的取值只能是true或者false,不能用数字来表示 整型 通用整型 int / uint(有符号 / 无符号,下面也类似) 长度:根据运
在本教程中,您将学习JavaScript中可用的不同运算符,以及在示例的帮助下如何使用它们。 什么是运算符? 在JavaScript中,运算符是一种特殊符号,用于对运算数(值和变量)执行操作。例如,
我是一名优秀的程序员,十分优秀!