对任意值类型的操作

Question

这篇文章描述了一种在 C# 中允许添加任意值类型，并为其定义了 + 运算符。 本质上，它允许以下代码：

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

此代码不会编译，因为不能保证 T 类型具有“+”运算符的定义，但效果是通过如下代码实现的：

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，Marc Gravell 制定了 实用程序库非常优雅地解决了操作员问题。

Answer 1

由于 C++ 中模板的编译方式，只需执行：

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

即可工作，对于未定义运算符+的每种类型，您都会收到编译错误。

C++ 模板为每个类型实例化生成代码，因此对于每个类型都会生成执行正确操作的 T 代码。 这样C++就不需要Num<>了。 诡计。

据我所知，在普通 C 中这是不可能的。

Answer 2

在 C++ 中，这根本不是问题。 如果将第一个示例中的代码字面翻译成 C++（预计到达时间：正如 Pieter 所做的那样），则可以正常工作，但我无法想到直接使用 + 的任何情况行不通的。 您正在寻找一个不存在的问题的解决方案。

Answer 3

这可以在 C++ 中使用模板轻松完成：

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

但是请注意，此必须在头文件中定义，并且您可能还希望通过 const 引用而不是通过值传递参数。

这根本无法在普通 C 中完成。

Answer 4

它也可以用 C 语言完成，尽管我不确定它是否满足问题要求，用宏。

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

Answer 5

C++ 中的模板。
在 C 语言中，并非没有巨大的麻烦和开销。

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