Question

在Metal着色器中，声明像const constant Vertex *vertexArray [[buffer(0)]]这样的变量的目的是什么（我的意思是const constant）？为什么仅靠常数还不够？另外，constant和const有什么区别？

以同样的方式，const device和constant有什么区别？

Answer 1

const是类型限定符。 constant和device是地址空间。

const阻止您修改其应用的内容：

int a = 15;
a = 16; // Fine; reassigning to a non-const variable

const int b = 15;
b = a; // Error: attempt to write to a read-only constant

int d = 18;
int const* c = &a;
*c = 17; // Error: attempt to write value through a pointer to const int
c = &d;  // Fine; reassigning (a different address) to a (non-const) pointer

int *const e = &d;
*e = a; // Fine; assigning to pointee through pointer to non-const int
e = c;  // Error: attempt to reassign const pointer

希望这些示例能够充分说明变量和常量的语义，以及在指针情况下规则如何工作。

在Metal中，指针始终位于特定的地址空间中。如果您在Metal着色器函数中使用自动存储的变量的地址（即“本地”变量），则该指针位于 thread 地址空间中。另一方面，缓冲区参数始终在恒定或设备地址空间中。

device缓冲区用于保存大约要访问一次其元素的内存，就像在顶点函数中按顺序获取顶点数据时可能会做的那样。另一方面，constant缓冲区与统一数据一样，包含可能由函数的多次调用访问的数据。

您无法写入constant地址空间中的缓冲区。这是此答案中最重要的一句话： constant地址空间中的所有指针都是隐式const限定的。

您可以在恒定地址空间中形成新的指针，并且根据上述规则，您可以重新分配它们。但是尝试写给他们的指针对象将产生编译器错误。

假设您使用以下参数编写一个片段函数：

constant Light *lights [[buffer(0)]]

然后在函数主体中可以这样说：

constant Light *light = &lights[0];

这：

light = &lights[1];

但不是这样：

light->color = float4(1, 1, 1, 1); // Error: attempt to write to variable with const-qualified type "const constant Light *"

同样，请注意，在最后一个示例中，即使我们没有说常量指针应该是指向const的指针，也是如此。因此，用constant（在星号之前）进一步修饰const指针是多余的。

现在让我们来谈谈device指针。

与始终为只读的constant缓冲区相反，在许多情况下可以写入device缓冲区。但是，您通常会将设备缓冲区视为只读（例如，在大多数顶点函数中）。为了向编译器指示此意图，可以将const添加到设备缓冲区指针参数。这将防止您无意中写入只打算读取的缓冲区。如果在不适当的上下文中使用device指向非常量类型的指针，则Metal着色器编译器的最新版本会发出警告，这就是为什么养成编写const device的习惯通常是一个好主意的原因这些参数。

但是写const constant是多余的，而且从不需要。

声明带有“ const constant”的变量的目的是什么？

1 个答案: