为什么在 C# 中将静态类型传入和传出接口方法是有效的？

Question

我注意到以下代码似乎编译得很好，而我预计会出现多个错误：

public interface ITest
{
    Math Foo(MathF x, ref Console y);
}

Math、MathF 和 Console 都是静态类 - 有什么理由证明这是有效的，还是只是规范/编译器的奇怪之处？ 在尝试实现接口时，您会收到一个错误（我想这意味着您可以制作一个无法实现的接口，这有点酷）

更重要的是，我可以做得更糟：

using System;

namespace StaticParams
{
    internal class Program
    {
        static void Main(string[] args)
        {
            ITest.Bar(null);
        }

        public interface ITest
        {
            Math Foo(MathF x, ref Console y);

            static void Bar(Math x)
            {
                Baz(x);
            }

            static void Baz(Math x)
            {
                Console.WriteLine("Hello World" + x + "!"); // x is null so we can't do much with it
            }
        }
    }
}

输出：

Hello World!

在 VS 2022 中测试，同时使用 C# 8.0 + .NET Core 3.1 和 C# 10.0 + .NET 6.0.4。

Answer 1

有什么理由证明这是有效的，还是只是规范/编译器的奇怪之处？

像这样的问题可能很难回答。 严格的字面答案是因为这就是 C# 语法的定义方式。

引用https://docs.microsoft.com/en-us/dotnet/csharp/language-reference/language-specification/interfaces ：

interface_declaration
    : attributes? interface_modifier* 'partial'? 'interface'
      identifier variant_type_parameter_list? interface_base?
      type_parameter_constraints_clause* interface_body ';'?
    ;

interface_body
    : '{' interface_member_declaration* '}'
    ;

interface_member_declaration
    : interface_method_declaration
    | interface_property_declaration
    | interface_event_declaration
    | interface_indexer_declaration
    ;

interface_method_declaration
    : attributes? 'new'? return_type identifier type_parameter_list?
      '(' formal_parameter_list? ')' type_parameter_constraints_clause* ';'
    ;

接口方法声明的属性、return_type、标识符和formal_parameter_list 与类中方法声明的含义相同（ 第14.6 节）。

从那里你将不得不用这个来敲自己： https ://docs.microsoft.com/en-us/dotnet/csharp/language-reference/language-specification/classes#146-methods

---

但这当然不是一个真正有启发性的答案。 我认为您真正想知道的是“允许这种精神错乱的智慧是什么？”。 这当然是一个基于意见的问题。 所以我会用我的这些观点来回答这个问题：

• 在这个级别上阻止它可能只会使语言或其实现更加复杂
• 它已经在另一个层面上被阻止了——正如你所指出的那样实现该接口是不可能的，所以已经没有人能够编写这样有用的代码
• 当外面已经有这么多其他疯狂时，为什么不允许它呢？