Что-То я запутался. Сейчас изучаю MPI, решил заодно повторить плюсы.

Question

Что-То я запутался. Сейчас изучаю MPI, решил заодно повторить плюсы.

В MPI есть типы данных MPI_INT, MPI_DOUBLE, MPI_CHAR, etc. Чтобы отправить или принять данные, надо обязательно передать в функцию одну из таких штук, т.к. автоматически определять ничего MPI не хочет.
Я решил написать шаблонную функцию для отправки переменной типа T:
template <typename T>
inline void SendVar(const T& var, int dest, int tag, MPI_Comm comm noexcept { /*...*/ }

Для этого нужно тип T превратить в соответствующий тип MPI. Идея: сделать что-то типа
template <typename T>
struct MPITypeNames {};

template <>
struct MPITypeNames<int> {
static constexpr MPI_Datatype value = MPI_INT;
};
template <typename T>
constexpr auto MPITypeName = MPITypeNames<T>::value;

Тогда в коде SendVar будет вызов MPI_Send(&var, MPITypeName<T>, /*...*/);

Но так оказалось нельзя. У меня то "expression must have a constant value", то ''a member of type "const MPI_Datatype" cannot have an in-class initializer". Вроде бы, что-то не то с типом MPI_INT. Я могу предоставить более подробное объяснение ситуации, если есть доп. вопросы, а пока я хотел бы спросить, правильная ли идея для реализации подобных мэппингов вообще по жизни или нет?

На самом деле, MPI_INT есть define 💀. После раскрытия всего, выходит каст адреса какой-то "extern C" глобальной переменной к void*, а затем статик каст к MPI_Datatype.