考虑以下（高度简化的）代码：
public T Function<T>() {
if (typeof(T) == typeof(string)) {
return (T) (object) "hello";
}
...
}
先转换为object，然后转换为有点荒谬T。但是编译器无法知道先前的测试保证T是 type string。
在 C# 中实现这种行为的最优雅、最惯用的方法是什么（包括摆脱愚蠢的typeof(T) == typeof(string)，因为T is string不能使用）？
附录： .net 中没有返回类型差异，因此您不能将函数重载为类型字符串（顺便说一下，这只是一个示例，但是在多态性（例如 UML）中关联结束重新定义的一个原因可以'不要在 c# 中完成）。显然，以下内容会很棒，但它不起作用：
public T Function<T>() {
...
}
public string Function<string>() {
return "hello";
}
具体示例 1：因为测试特定类型的泛型函数不是泛型这一事实受到了多次攻击，所以我将尝试提供一个更完整的示例。考虑 Type-Square 设计模式。下面是一个片段：
public class Entity {
Dictionary<PropertyType, object> properties;
public T GetTypedProperty<T>(PropertyType p) {
var val = properties[p];
if (typeof(T) == typeof(string) {
(T) (object) p.ToString(this); // magic going here
}
return (T) TypeDescriptor.GetConverter(typeof(T)).ConvertFrom(val);
}
}
具体示例 2：考虑解释器设计模式：
public class Expression {
public virtual object Execute() { }
}
public class StringExpression: Expression {
public override string Execute() { } // Error! Type variance not allowed...
}
现在让我们在 Execute 中使用泛型来允许调用者强制返回类型：
public class Expression {
public virtual T Execute<T>() {
if(typeof(T) == typeof(string)) { // what happens when I want a string result from a non-string expression?
return (T) (object) do_some_magic_and_return_a_string();
} else if(typeof(T) == typeof(bool)) { // what about bools? any number != 0 should be True. Non-empty lists should be True. Not null should be True
return (T) (object) do_some_magic_and_return_a_bool();
}
}
}
public class StringExpression: Expressiong {
public override T Execute<T>() where T: string {
return (T) string_result;
}
}