如何从MemberSelectExpressionTree取值？BinaryExpressionTree操作数取值求助

这个问题我之前在做静态代码规则分析的时候也碰到过——字面量操作数能直接从LiteralTree取值，但像StringUtils.EMPTY这类成员选择表达式，因为涉及到符号的语义解析，没法直接像字面量那样拿值。下面给你几个可行的解决思路：

1. 利用语义模型（Semantic Model）解析编译时常量成员 #

如果目标成员是编译时常量（比如用const修饰的字段），或者是能在编译期确定值的静态成员，你可以通过语法树的语义绑定来获取它的实际值：

• 首先判断操作数是否是MemberSelectExpressionTree类型
• 获取该表达式对应的符号信息（比如在Roslyn这类工具中，用SemanticModel.GetSymbolInfo(memberExpr).Symbol）
• 检查符号是否为IFieldSymbol或IPropertySymbol，然后查看HasConstantValue属性：如果为true，就能直接通过ConstantValue拿到成员的值

举个简单的伪代码示例：

if (operand is MemberSelectExpressionTree memberExpr)
{
    var memberSymbol = semanticModel.GetSymbolInfo(memberExpr).Symbol as IFieldSymbol;
    if (memberSymbol != null && memberSymbol.HasConstantValue)
    {
        var value = memberSymbol.ConstantValue;
        // 这里可以判断value是否为空字符串或null
    }
}

2. 配置白名单处理已知的空值成员 #

对于那些不是编译时常量，但业务上明确代表空值的成员（比如StringUtils.EMPTY），可以维护一个白名单：

• 白名单里记录成员的完全限定名（比如YourNamespace.StringUtils.EMPTY）
• 当遇到MemberSelectExpressionTree时，解析出成员的完全限定名，和白名单匹配，如果命中则直接判定为空值

3. 标记无法确定值的情况 #

如果既不是编译时常量，也不在白名单里，那这类成员的实际值只能在运行时确定，静态分析阶段无法准确获取。这种情况下，你可以：

• 跳过对该操作数的空值检查，或者
• 给出一个警告提示，告知用户无法确定该成员的值

补充说明 #

需要注意的是，有些静态只读成员（static readonly）虽然不是const，但如果它的初始化值是编译时常量，部分语义分析工具也能推断出它的值；但如果是运行时初始化的（比如在静态构造函数里赋值），那静态阶段就没法获取了。

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