在C语言中实现安全鸭式键入#

如果你面前没有一头活生生的、能呼吸的母牛,你怎么能知道一头牛走路像鸭子,咯咯叫像鸭子?

duck类型是运行时使用的一个概念。编译时的一个类似概念是 structural typing 这是CLR不支持的afaik。(CLR围绕 nominative typing )

[结构类型系统]与指定系统形成对比,其中比较基于显式声明或类型名称,而duck类型,其中只检查运行时访问的结构部分的兼容性。

确保duck类型在运行时不会抛出异常的通常方法是单元测试。

DuckTyping for C#

reflection.emit用于发出直接调用原始对象的IL。

我不认为这个库会给你编译时出错的想法,我不确定这是否完全可行。使用单元测试来帮助补偿这一点。

我认为没有另一种方法可以让您获得编译时错误。

然而,这是单元测试非常适合做的事情。您将编写一个单元测试来验证

DuckTyper.Adapt<Mallard, IDuck>(mallard);

成功映射。

我知道隐式接口(即go接口)是为vb 10设计的(不知道C)。不幸的是,它们在发布之前就被废弃了(我认为它们甚至没有进入beta)。很高兴看到他们是否会出现在.NET的未来版本中。

当然,新的 dynamic 类型可以用来实现很多相同的功能,但这仍然不是相同的“隐式接口”仍然允许强类型化,我认为这很重要。