28
4
Inferred delegate types have been introduced since C# 10.
推断委托类型是从C#10开始引入的。
However, I am quite confused with the behavior of the feature:
然而，我对该功能的行为感到相当困惑：
Generally, I think we can reasonably expect that, if this can compile:
一般来说，我认为我们可以合理地预期，如果这一点能够实现的话：
个人中心
文章发布
退出var x = (my_expression); // inferred type
SomeType y = x;
This single assignment should compile as well:
这个单一的赋值也应该编译：
SomeType y = (my_expression);
However, this is not satisfied when inferred delegate types are involved:
但是，当涉及推断的委托类型时，这是不能满足的：
using System;
class Program {
class FunctionWrapper<Output> {
private Func<Output> WrappedFunction { get; }
public FunctionWrapper(Func<Output> function) => WrappedFunction = function;
public static implicit operator FunctionWrapper<Output>(Func<Output> function) => new FunctionWrapper<Output>(function);
}
public delegate void DoStuffDelegate<Inout>(ref Inout Input);
static void Main(string[] args) {
var funcLambda = () => "hello"; // type is inferred here...
FunctionWrapper<string> funcWrapper = funcLambda; // ... it compiles
// but if we do a single assignment...
FunctionWrapper<string> funcWrapper2 = () => "hello"; // CS1660 - this does not compile anymore... Why?
// the exact opposite happens with delegates:
// if we do a single assignment...
DoStuffDelegate<string> delegWrapper2 = (ref string input) => { input = input + input; }; // ... it compiles
// but if type is inferred...
var delegateLambda = (ref string input) => { input = input + input; }; // type is inferred
DoStuffDelegate<string> delegWrapper1 = delegateLambda; // CS0029 - this does not compile anymore...
}
}
I have the impression that inferred delegate types imply an implicit conversion at some stage, which probably should not be the case.
我的印象是，推断的委托类型在某个阶段暗示了隐式转换，但情况可能并非如此。
(link to the code: https://godbolt.org/z/3sbd9ndrT)
(代码链接：https://godbolt.org/z/3sbd9ndrT)
I tried different compilers and searched for documentation, discussions, and potential known issues regarding the behavior of inferred delegate types, unsuccessfully.
我尝试了不同的编译器，并搜索了有关推断的委托类型的行为的文档、讨论和潜在的已知问题，但都没有成功。
Can somebody please tell if this is a language/compiler defect, or if my expectations for these conversions to work are unreasonable?
有人能告诉我这是语言/编译器缺陷，还是我对这些转换的期望是不合理的？
Thank you in advance.
提前谢谢您。
I asked my question on csharplang github and got several detailed and comprehensive answers: github.com/dotnet/csharplang/discussions/7514
我在cSharplg GitHub上提出了我的问题，得到了几个详细而全面的答案：githorb.com/dotnet/cSharPlang/daptions/7514
Looks like an issue with IDE0004.
看起来像是IDE0004的问题。
You should report this issue
您应该报告此问题
I agree that IDE0004 is wrong in the sense that it is not aligned with compiler behavior. However, I am still questionning the language and the compiler behavior here. If "var x = expr; SomeType y = x;" compiles, doing directly "SomeType y = expr;" should compile as well, right?
我同意IDE0004是错误的，因为它与编译器行为不一致。然而，我仍然在质疑这里的语言和编译器行为。如果“var x=expr；SomeType y=x；”编译，则直接执行“SomeType y=expr；”也应该编译，对吗？
IDE0004 is not a compiler error. You can try sharplab.io where you won't get IDEXXXX diagnostics or a command-line compilation.
IDE0004不是编译器错误。您可以在不会获得IDEXXXX诊断或命令行编译的地方尝试Sharplab.io。
Yes, I know IDE0004 is not a compiler error. IDE0004 is not the main subject of the initial question, sorry if I was not clear. You can ignore mentions of IDE0004. The question is about the the compilation errors indeed.
是的，我知道IDE0004不是编译器错误。IDE0004不是最初问题的主要主题，如果我说得不清楚，请原谅。您可以忽略对IDE0004的提及。这个问题是关于编译错误的。
What compilation errors are you getting?
您收到了哪些编译错误？
All the ones included in the code snippet I provided - If you enable the code that is commented out, you should get them as well.
我提供的代码片段中包含的所有代码--如果启用被注释掉的代码，也应该得到它们。
28
4
0
这个问题不太可能对任何 future 的访客有帮助；它只与一个较小的地理区域、一个特定的时间点或一个非常狭窄的情况相关，通常不适用于全世界的互联网受众。如需帮助使此问题更广泛适用，visit the
我有一个在 ab 时间内运行的算法，其中 a 和 b 都是单独的输入。 我的算法还是多项式时间复杂度算法还是nn？我认为 nn 不是多项式，但我仍然不确定。 我看到 n 算法的阶乘仍然评估为 nn 复
这个问题在这里已经有了答案: Logical operators (AND, OR) with NA, TRUE and FALSE (2 个回答) 1年前关闭。 由于“is.na(NA)”返回真，“
假设我有一个具有以下结构的 Pandas 数据框: df = pd.DataFrame(dict(a=["x", "x", "y"], b=[0, 1, 1], c=[1, 2, 2])) 我想按 a
谁能帮我处理一些相当复杂的 Django 查询？ 这些是我的模型: class County(models.Model): name = models.CharField(max_length
我想从某个表中选择一行并根据另一个表对结果进行排序。 这是我的表: lang1_words: word_id - word statuses: word_id - status 在每个表中 word_
我是单元测试的新手，所以请对我宽容一些。我有一些查询 RESTful API 的模块。我发现在每个测试套件中，我都使用几行代码来启动一个简单的 ExpressJS Web 服务器，以模拟一些我可以从测
假设我有以下代码: var blinker = function(element){ if(stopped){ return; } else { var sampleMappi
我正在用 JavaScript 制作一个选择你自己的冒险风格的游戏，在本节中: evade = prompt("Go out of your way to avoid them, just in ca
我的代码: import java.awt.*; import java.awt.event.*; import javax.swing.*; public class Events1 extends
我正在使用 scipy ode 来解决钟摆问题。 from scipy import * import matplotlib.pyplot as plt from scipy.integrate im
我有一个 Google 表格，用于收集客户的注册数据。收集的数据包括学生的姓名、学生选择参加的类(class)以及信用卡号。提交后，我会收到通知。收到通知后，我会转到我的 Google 表格并从信用卡
我需要定义一个操作的两个版本，定义略有不同。它是一系列包含Nat指数的成分。 open import Data.Nat data Hom : ℕ → ℕ → Set where id : (
我正在研究游戏引擎 http://ducttape-dev.org使用 boost 作为依赖项之一。有一天，当我正在编写一个链接到我的游戏引擎的测试应用程序时，OgreProcedural 的 Ext
我正在 Android 中制作一个表达式计算器，所以我想在实际计算答案之前检查字符串是否符合有效表达式的条件。 我在 Java 中试过这个正则表达式: ^\s*([-+]?)(\d+)(?:\s*([
我有以下 postgresql 查询(为便于阅读而简化): select * from a_view where a in (select * from a_function(a_input))
我开始更好地掌握 PostgreSQL 索引，但我遇到了 OR 条件的问题，我不知道如何优化我的索引以加快查询速度。 我有 6 个条件，当单独运行时，它们的成本似乎很小。下面是修剪查询的示例，包括查询
有谁知道为什么下面的代码接受诸如123-123-1234这样的答案: [1-9]\\d{2}-[1-9]\\d{2}-\\d{4} 我想到了代码，它只接受先接受 2 个数字，再接受 2 个数字，然后再
在使用 Java 1.8u40 打开带有提示类型和附加的 StringConverter 的组合框时，我遇到了以下错误。这可以追溯到执行 FXML 的团队留下的示例字符串，与 Controller 中
在 MySQL 中，我有三个不同的数据库 - 我们将它们称为 A、B 和 C。 是否可以执行涉及所有三个数据库(A、B、C)中的表的事务？ (所有数据库都在同一服务器上) 最佳答案 是的，你可以。这是
我是一名优秀的程序员,十分优秀！