Операции по произвольным типам значений

Question

В этом article описывается способ на C#, позволяющий добавлять произвольные типы значений, для которых задан оператор +. В сущности, это позволяет следующий код:

public T Add(T val1, T val2) 
{ 
    return val1 + val2; 
} 

Этот код не компилируется, поскольку нет никакой гарантии, что тип Т имеет определение оператора «+», но эффект достигается с помощью кода, как это:

public T Add(T val1, T val2) 
{ 
    //Num<T> defines a '+' operation which returns a value of type T 
    return (new Num<T>(val1) + new Num<T>(val2)); 
} 

Перейдите по ссылке, чтобы узнать, как класс Num достигает этого. В любом случае, на вопрос. Есть ли способ достичь такого же эффекта на C или C++? Для любопытных проблема, которую я пытаюсь решить, - позволить ядру CUDA быть более гибким/общим, позволяя ему работать с большим количеством типов.

Обновление: Для .NET Марк Гравелл сделал utility library, который очень удобно решает проблему оператора.

Answer 1

Благодаря тому, как шаблоны компилируются в C++, просто делать:

template < class T > 
T add(T const & val1, T const & val2) 
{ 
    return val1 + val2; 
} 

будет работать, вы получите ошибку компиляции для каждого типа, где оператор + не определен.

Шаблоны C++ генерируют код для каждого типа экземпляра, поэтому для каждого типа кода T будет сгенерирован, что делает правильную вещь. Таким образом, C++ не нуждается в обмане.

В простой C это невозможно, насколько я знаю.

Answer 2

Это можно легко сделать в C++ с использованием шаблонов:

template <typename T> 
T Add(T val1, T val2) 
{ 
    return val1 + val2; 
}

Заметим, однако, что это должны быть определены в заголовочном файле, и вы, вероятно, также хотят, чтобы передать параметры по константной ссылке вместо по стоимости.

Это не может быть сделано в обычном C вообще.

Answer 3

В C++ это просто не проблема. Код, как в вашем первом примере, работает, если в буквальном переводе на C++ (ETA: как сделал Pieter), но я не могу думать о ситуации, когда прямое использование + не работает. Вы ищете решение проблемы, которая не существует.

Answer 4

Шаблоны в C++. В C, не без массивных хлопот и над головой.

template<typename T> 
T add(T x, T y) 
{ 
    return x + y; 
} 

Answer 5

Это может быть сделано и в C, хотя я не уверен, что он отвечает требованиям проблемы, с макросом.

#define ADD(A,B) (A+B)