C#无需新建空接口实现多接口组合类型参数的方法

现有开发场景 #

• 定义接口IFoo，包含方法FooMethod()，对应实现类为Foo : IFoo
• 定义接口IBar，包含方法BarMethod()，对应实现类为Bar : IBar
• 可实例化对象Foo obj1 = new Foo()，调用obj1.FooMethod()
• 可实例化对象Bar obj2 = new Bar()，调用obj2.BarMethod()

当前已经可以正常定义接收IFoo类型参数的方法，传入obj1即可正常运行，示例代码如下：

void FooExample(IFoo fooObj) 
  => fooObj.FooMethod();

FooExample(obj1);  // obj1类型为Foo，而Foo实现了IFoo接口，因此可以正常传参

需求说明 #

需要实现参数同时满足「实现IFoo、IBar两个接口」约束的方法，预期调用形式类似如下代码：

void CombinedExample((IFoo, IBar)foobarObj)
{
  foobarObj.Foo();
  foobarObj.Bar();
}

目前已知的实现方式是新建空接口IFooBar: IFoo, IBar，再把CombinedExample的参数类型改为IFooBar foobarObj，但这种方案需要额外定义仅用于组合约束的空类型，这类类型通常使用场景非常有限。以下是不需要新建这类全局空组合类型的可行实现方案：

可行实现方案 #

方案1：泛型参数+多重接口约束（语义最贴合需求） #

这是C#原生支持的写法，完全不需要额外定义任何空组合接口/类，直接在方法定义时给泛型参数加上多接口约束即可：

void CombinedExample<T>(T foobarObj) where T : IFoo, IBar
{
    foobarObj.FooMethod();
    foobarObj.BarMethod();
}

所有同时实现了IFoo和IBar的类型实例，都可以直接传入该方法，编译器会自动做类型校验。
如果手里只有分别实现两个接口的独立对象，也可以在调用点就近定义一个轻量包装类，不需要全局定义通用组合接口：

// 就近定义包装类，仅在当前调用场景使用即可
var wrapper = new FooBarCombo(obj1, obj2);
CombinedExample(wrapper);

file class FooBarCombo : IFoo, IBar
{
    private readonly IFoo _fooInst;
    private readonly IBar _barInst;
    public FooBarCombo(IFoo foo, IBar bar)
    {
        _fooInst = foo;
        _barInst = bar;
    }

    public void FooMethod() => _fooInst.FooMethod();
    public void BarMethod() => _barInst.BarMethod();
}

如果使用C# 11+，还可以用file关键字修饰包装类，让这个类仅在当前文件内可见，不会污染全局命名空间。

方案2：值元组+扩展方法（适配独立对象传参场景） #

如果业务上允许传入两个独立的对象，不需要要求参数是同一个同时实现两个接口的实例，可以直接用C#的值元组作为参数类型，搭配扩展方法还原预期的调用形式：

// 方法定义直接用元组接收两个接口的实例
void CombinedExample((IFoo fooInst, IBar barInst) foobarObj)
{
    foobarObj.Foo();
    foobarObj.Bar();
}

// 给对应元组类型定义扩展方法，实现和预期一致的调用写法
public static class TupleExt
{
    public static void Foo(this (IFoo f, IBar b) t) => t.f.FooMethod();
    public static void Bar(this (IFoo f, IBar b) t) => t.b.BarMethod();
}

调用时直接把两个对象打包成元组传入即可，不需要额外定义任何组合类型：

CombinedExample((obj1, obj2));

注意：该方案和「单对象同时实现多接口」的语义有差异，元组方案允许传入两个完全独立的对象，而泛型约束方案要求传入的是单个同时实现两个接口的实例，可以根据实际业务需求选择。

内容的提问来源于stack exchange，提问作者Leander