超载前自动浇注接口校正混凝土型式

Question

我有一个由多个具体类实现的接口和一个为每个具体类重载的方法（示例只是为了说明目的）:

class IShape 
{
    /* ... */
}
class Square : IShape
{ 
    /* ... */ 
}
class Circle : IShape
{
    /* ... */
}
void toPng(Square a)
{
    /* ... */
}
void toPng(Circle b)
{
    /* ... */
}

下面是我想做的:

/* Here i know that shape is castable to one of the concrete types */ 
Shape shape = Deserialize(jsonString);
toPng(shape) // Error : Cannot convert from 'IShape' to 'Square'

我可以试着对每个具体的类进行强制转换，但感觉不太理想。

try
{ 
    toPng( (Square)shape ) 
}
catch { /* ... */ }
try
{ 
    toPng( (Circle)shape ) 
}
catch { /* ... */ }

有没有一种方法在重载发生之前自动将接口浇铸为正确的混凝土类型？ 不知怎么的，我在网上找不到任何东西。

[编辑]我应该注意，在我的情况下，我宁愿不修改接口及其具体实现，因此将topng()放入接口协定中不是我想要的。

Answer 1

您希望推迟成员查找，直到知道变量的运行时类型。

这就是dynamic的用途。 它在运行时而不是编译时执行成员查找。

/* Here i know that shape is castable to one of the concrete types */ 
dynamic shape = Deserialize(jsonString);
toPng(shape)

尽管您需要注意--您实际上是在断言您知道它会在运行时找到一个合适的成员--如果成员查找实际上失败了，因为shape原来是一个elephant-您将得到一个运行时错误。