代码生成中的属性/字段初始值设定项

Question

我正在使用 CodeDom 和纯代码字符串在 Visual Studio 扩展中生成代码。我的扩展使用反射读取当前类声明的字段和属性，并生成构造函数、初始化程序、实现某些接口等。

生成器类很简单：

public class CodeGenerator < T >  
{  
    public string GetCode ()  
    {  
        string code = "";  
        T type = typeof(T);  
        List < PropertyInfo > properties = t.GetProperties();  
        foreach (PropertyInfo property in properties)  
            code += "this." + property.Name + " = default(" + property.PropertyType.Name + ")";  
    }  
}

我被两种方式困在字段和属性初始化器上。

首先，虽然default(AnyNonGenericValueOrReferenceType) 似乎在大多数情况下都有效，但我对在生成的代码中使用它感到不舒服。

其次，它不适用于泛型类型，因为我找不到获取泛型类型的基础类型的方法。所以如果一个属性是List < int >，property.PropertyType.Name 返回List`1。这里有两个问题。首先，我需要在不使用字符串操作的情况下获取泛型类型的正确名称。其次，我需要访问底层类型。完整的属性类型名称返回如下内容：

System.Collections.Generic.List`1[[System.Int32，mscorlib，版本=4.0.0.0，文化=中性，PublicKeyToken=b77a5c561934e089]]

Answer 1

在我试图回答之前，我不得不指出你所做的似乎是多余的。假设您将此代码放入构造函数中，生成如下内容：

public class Foo
{
  private int a;
  private bool b;
  private SomeType c;

  public Foo()
  {
    this.a = default(int);
    this.b = default(bool);
    this.c = default(SomeType);
  }
}

是不必要的。当一个类被构造时，已经自动发生了。 （事实上​​，一些快速测试表明，如果这些赋值在构造函数中显式完成，它们甚至没有被优化掉，尽管我认为 JITter 可以解决这个问题。）

其次，default 关键字的设计很大程度上是为了完成您正在做的事情：提供一种将“默认”值分配给编译时类型未知的变量的方法。我假设它是为通用代码使用而引入的，但自动生成的代码在使用它时当然也是正确的。

请记住，引用类型的default 值是null，所以

this.list = default(List<int>);

不构造新的List<int>，它只是将this.list 设置为null。相反，我怀疑您想要做的是使用 Type.IsValueType 属性将值类型保留为默认值，并使用 new 初始化引用类型。

最后，我认为您在这里寻找的是Type 类的IsGenericType 属性和相应的GetGenericArguments() 方法：

foreach (PropertyInfo property in properties)  
{
  if (property.Type.IsGenericType)
  {
    var subtypes = property.Type.GetGenericArguments();
    // construct full type name from type and subtypes.
  }
  else
  {
    code += "this." + property.Name + " = default(" + property.PropertyType.Name + ")";  
  }
}

编辑：

就构建对引用类型有用的东西而言，我看到生成的代码使用的一种常见技术是为您希望使用的任何类都需要一个无参数构造函数。通过调用Type.GetConstructor()，传入一个空的Type[]（例如Type.EmptyTypes），可以很容易地查看一个类是否有一个无参数的构造函数，然后查看它是否返回ConstructorInfo 或null。一旦确定，只需将default(typename) 替换为new typename() 即可满足您的需求。

更一般地，您可以为该方法提供任何类型的数组以查看是否有匹配的构造函数，或者调用GetConstructors() 来获取所有类型。这里需要注意的是ConstructorInfo 的IsPublic、IsStatic 和IsGenericMethod 字段，以便找到可以从生成此代码的任何位置实际调用的字段。

但是，除非您可以对其施加一些限制，否则您尝试解决的问题将会变得任意复杂。一种选择是找到一个任意构造函数并构建一个如下所示的调用：

var line = "this." + fieldName + " = new(";
foreach ( var param in constructor.GetParameters() )
{
  line += "default(" + param.ParameterType.Name + "),";
}
line = line.TrimEnd(',') + ");"

（请注意，这仅用于说明目的，我可能会在这里使用 CodeDOM，或者至少使用 StringBuilder :)

当然，现在您有一个问题，即为每个参数确定适当的类型名称，它们本身可能是泛型。并且引用类型参数将全部初始化为 null。并且没有办法知道你可以从任意数量的构造函数中选择哪个实际上产生了一个可用的对象（其中一些可能会做坏事，比如假设你要在构造实例后立即设置属性或调用方法。）

解决这些问题的方式与技术无关：您可以递归地将相同的逻辑应用于每个参数，只要您愿意。这是一个决定，对于您的用例，您需要有多复杂，以及您愿意对用户施加什么样的限制。

Answer 2

如果您确定要使用字符串，则必须编写自己的方法来格式化这些类型名称。比如：

static string FormatType(Type t)
{
    string result = t.Name;

    if (t.IsGenericType)
    {
        result = string.Format("{0}<{1}>",
            result.Split('`')[0],
            string.Join(",", t.GetGenericArguments().Select(FormatType)));
    }

    return result;
}

此代码假定您的文件中有所有必要的usings。

但我认为实际使用 CodeDOM 的对象模型要好得多。这样，您就不必担心usings、格式类型或拼写错误：

var statement =
    new CodeAssignStatement(
        new CodePropertyReferenceExpression(new CodeThisReferenceExpression(), property.Name),
        new CodeDefaultValueExpression(new CodeTypeReference(property.PropertyType)));

如果你真的不想使用default(T)，你可以找出类型是引用类型还是值类型。如果是引用类型，请使用null。如果是值类型，则默认构造函数必须存在，所以你可以调用它。