如何确保模板类型在 D 中是标量的？

Question

我有两个函数：一个是向量的标量乘法，另一个是向量矩阵乘法：

pure T[] mul(S, T)(S s, T[] a)

和

pure T[] mul(T)(T[] a, T[][] B)

当然这会导致冲突，因为S 也可以是一个向量，所以第一个模板覆盖了第二个。如何告诉编译器，我只希望标量类型为 S？

Answer 1

您需要使用template constraint。

pure T[] mul(S, T)(S s, T[] a) if (isScalarType!S)

这声明仅当isScalarType!S 为true 时才应考虑该模板。

isScalarType 可以在std.traits 中找到。

在 D 中，标量类型是数字类型、字符类型和bool。如果您愿意，您可以进一步限制使用来自std.traits 的其他特征（例如isNumeric 或isFloatingPoint）。