.NET Core Native AOT下Activator.CreateInstance反射创建实例遇无参构造错误

尝试通过反射的Activator.CreateInstance方法动态生成模块，代码如下：

public TModule CreateModule<TModule>(params object[]? parameters) where TModule : ApplicationModule
{
    /*
     * Create module
     */
    TModule? module = Activator.CreateInstance(typeof(TModule), parameters) as TModule;
    if (module is null)
        throw new Exception($"Failed to create module with type: {typeof(TModule).Name}");

    /*
     * Register it to the pending modules
     */
    _pendingModules.Add(module);

    return module;
}

运行时抛出MissingMethodException，提示目标类型Runtime.Reflection.ReflectionModule无参数构造函数，即便该类已定义默认构造函数，问题出在Native AOT构建环境下。

Native AOT属于静态编译技术，编译阶段会主动裁剪未被直接引用的代码与元数据，包括构造函数。即便目标类存在默认构造函数，若编译器无法静态分析到它会被反射调用，就会将其从最终程序中移除，导致反射调用时找不到对应构造函数。

1. 使用DynamicDependencyAttribute显式标记需保留的构造函数 #

在调用CreateModule的类或目标模块类上添加该特性，告知AOT编译器保留指定类型的构造函数元数据：

// 在调用CreateModule的类上标记
[DynamicDependency(DynamicallyAccessedMemberTypes.PublicConstructors, typeof(ReflectionModule))]
public class Application
{
    // CreateModule方法定义在此处
}

// 或直接在目标模块类上标记
[DynamicDependency(DynamicallyAccessedMemberTypes.PublicConstructors, typeof(ReflectionModule))]
public class ReflectionModule : ApplicationModule
{
    public ReflectionModule() { }
}

若需指定特定参数的构造函数，可进一步细化特性参数。

2. 在项目文件中配置AOT保留规则 #

在项目的.csproj文件中添加以下配置，确保目标类型不被裁剪：

<ItemGroup>
  <AotIncludeTypes Include="Runtime.Reflection.ReflectionModule" />
</ItemGroup>

如果需要保留整个程序集的反射元数据，可添加：

<PropertyGroup>
  <TrimmerRootAssembly Include="你的程序集名称" />
</PropertyGroup>

3. 替换反射：使用工厂模式或源代码生成器 #

Native AOT更适配静态代码模式，避免反射可从根源解决问题。例如定义工厂接口：

public interface IModuleFactory<TModule> where TModule : ApplicationModule
{
    TModule Create(params object[]? parameters);
}

public class ReflectionModuleFactory : IModuleFactory<ReflectionModule>
{
    public ReflectionModule Create(params object[]? parameters)
    {
        return parameters?.Length > 0 ? new ReflectionModule(parameters) : new ReflectionModule();
    }
}

之后在CreateModule中直接调用工厂的Create方法，编译器可静态分析到构造函数调用，不会将其裁剪。

内容的提问来源于stack exchange，提问作者Barış Üçkardeş