时间戳

首页 > 解决方案 > C# 规范是否禁止基于默认参数的类型推断？

c# - C# 规范是否禁止基于默认参数的类型推断？

问题描述

在下面的代码中，我试图以工厂模式完成默认类型推导。我想用参数的任意组合调用工厂方法，并从省略参数的默认参数中推断出泛型类型参数。但是，这种尝试会导致错误 CS1750。 CS1750 在 roslyn repo 中的少数地方被提及，但回顾这些并没有透露太多关于这种情况下的原因。

错误全文如下：

(参数) S a = 新 S()

“S”类型的值不能用作默认参数，因为没有标准转换为“S”类型 [TypeInference]csharp(CS1750)

public class T {}
public class T0  : T {}
public class T1  : T {}
// T2{} .. T9{}
public class T10 : T {}
public struct S<T> {}
public class X {} // X is a complex object strongly-typed with T1..T10
public static class C {
    public static X Factory<A,B/*,C..J*/>(
        S<T0> s = new S<T0>(), // this is fine
        S<A>  a = new S<T0>(), // ERROR: no standard conversions to type...
        S<B>  b = new S<T0>()  // ...'S<A>' [TypeInference]csharp(CS1750)
        //S<C> c,
        //...
        //S<J> j
    )
    where A : T
    where B : T
    =>throw new System.NotImplementedException();

    static void usage1() {
        /* I'd like to be able to omit an arbitrary portion
           of the factory arguments and have type inference use
           the default values.*/
        Factory(b : new S<T1>());
    }

    // simplified example
    public static void Foo<A>(A a)    {}
    public static void Bar<A>(A a=42) {} // ERROR: CS1750

    static void usage2() {
        Foo(42); // this is fine
    }
}

我一直在试图理解为什么CS1750会被提出。根据第五版规范

15.6.2 方法参数...

默认参数中的表达式应为以下之一： ...

  • new S() 形式的表达式，其中 S 是值类型

new S<T0>()似乎符合这个标准。事实上，参数声明S<T0> s = new S<T0>()似乎并没有引发错误。

阅读（诚然没有完全吸收）规范的类型推断部分，为什么在类型推断期间不考虑默认值并不明显。该部分中的语言甚至似乎小心区分带有和不带有相应参数的可选参数。例如，在这句话中，一个缺少的可选参数被排除在推理失败的原因之外：

12.6.3 类型推断...

如果 ... 有一个没有相应参数的非可选参数，则推理立即失败。

与其排除默认参数，这似乎更像是一个弱建议，即类型推断可以基于它们。

  1. 为什么编译器试图转换S<T0>为S<A>而不是推断A为T0？
  2. 规范是否禁止基于默认参数的类型推断？

标签： c#type-inferencespecificationsdefault-parameters

解决方案

我认为，您的问题 1 的答案是“编译器不能那样工作”。正如我在评论中所做的那样，编译器期望程序员根据当前类型约束为默认参数提供有效类型。编译器不会根据默认参数的类型为您推断通用参数。这里唯一的限制是 A 和 T0 都从 T 下降，所以通常我们不能期望S<A> a = new S<T0>()工作。我很确定这就是错误的含义。

你的问题 2 真的是“它可以那样工作吗？”，我想。我认为理论上可以，但存在一些问题。考虑一下，如果在您的示例中，有人拨打电话会发生什么C.Factory<T1, T1>()，从而在不提供任何参数的情况下将 A 显式设置为 T1 类型。现在，当我们尝试分配类型为 =new S<T0>()的参数 a时，我们遇到了一个错误情况，因为它不能分配给. 编译器应该如何处理？由于 A 只被限制为 T 的后代，并且 Factory 有一个不带参数的重载，因此看起来调用是有效的。因此，任何异常充其量只会令人困惑，而且可能是错误的。但是我们不想在程序员明确要求不同类型后推断 A 为 T0。S<A>S<T1>S<T0>S<T1>

推荐阅读