值类型可以通过内联来实现吗？

Question

当我第一次看到 C# 中的值类型时，我想到的第一件事是“哇，多么棒的优化”，第二件事是，“我们真的需要一种新的语言结构吗？我们不能用而是注释？”。

我们的想法是，给定一个类，我们将像往常一样使用它

class A {int i;}
class B {
    A m_a;
    int F(A a) {m_a = a;}
}

一时兴起，我们将A改为

[ValueType]
class A {int i;int j;}

并且编译器会自动将B类转换为

class B {
#region A
    int A_i;
    int A_j;
#endregion
int F(/*A param*/int i,int j) {
#region A_assign
    A_i = i;
    A_j = j;
#endregion
}

请记住，如果编译器不希望优化某些实例 - 它不必这样做。无论哪种方式都可以。

模板可能会出现问题，

int f<T>() {
    T t; // how much stack should I allocate
}

但我不确定它是否比目前的情况更糟。我实际上不确定现在会发生什么（f<struct_of_100_bytes> 与 f<int> 的功能不同吗？）。

Answer 1

现在想象一下继承。或数组。或论据。或泛型。或者实现一个接口。或分配给对象/动态。

请记住，运行时支持多个编译器。

拥有一个特定的关键字（结构）而不是一个属性并不是一个很大的变化（实际上，在 CLI 方面，所有东西都称为一个类），但总体情况比您的示例复杂得多。

基本上， struct 几乎可以完成您提到的所有事情，并且适用于列出的所有场景。由于它通常（对于本地人）使用堆栈，它的行为已经很像你描述的。

关于“分离功能”的问题；首先，泛型不是“模板”（它是运行时与编译时）。但是泛型每个值类型都有一个 JIT，每个引用类型有一个 JIT（因为确实：堆栈布局发生了变化。