opu加法的发现或实现方法表达式。添加

我正在用Antlr和表达式树写一种语言。

我已经为我的树解析器定义了一个标准的工厂方法,在生成加法时可以使用它,对于内置的整型类型,它的工作非常好,现在我将继续讨论更一般的类型。

目前它非常幼稚,它只是这样做(进行中的TDD代码通常看起来很幼稚,对吧!):

protected Expression GenerateAdd(Expression left, Expression right)
{
  if (left.Type.Equals(right.Type))
    return Expression.Add(left, right);
  if (left.Type.IsValueType && right.Type.IsValueType)
    Promote7_2_6_2(ref left, ref right);
  return Expression.Add(left, right);
}

在哪里? Promote7_2_6_2

很自然,我开始测试字符串加法。 "a" + "b";

System.InvalidOperationException: The binary operator Add is not defined for the types 'System.String' and 'System.String'.

很公平-我想系统字符串确实没有定义运算符。在测试方法中生成表达式树,如下所示:

Expression<Func<string, string, string>> e = (s1, s2) => s1 + s2;

显示确实创建了Add BinaryExpression,但将实现方法设置为 string.Concat 方法。

string

它是嵌入在C编译器中的规则吗?还是有某种可发现的元数据,我可以用来在其他类型上自动发现此类方法?

提前谢谢!