Как обеспечить, чтобы тип шаблона был скалярен в 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).