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

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, Version=4.0.0.0, Culture=neutral, 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关键字的设计很大程度上是为了完成您正在做的事情：提供一种将“默认”值分配给编译时类型未知的变量的方法。我认为它是为了供通用代码使用而引入的，但自动生成的代码在使用它时当然也是正确的。

请记住，引用类型的默认值为null，因此

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

不会构造新的List，它只是设置<代码>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;
}

此代码假设您的文件中拥有所有必需的 using 。

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

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

如果您确实不想使用 default(T)，您可以查明该类型是引用类型还是值类型。如果是引用类型，请使用null。如果它是值类型，则默认构造函数必须存在，因此您可以调用它。