我怎样才能将在 C++ 中定义了 operator+ 的对象（以及类型，如 int、double 或 float）作为函数的参数？
我几乎绝对肯定这个技巧应该在模板的帮助下以某种方式完成，但由于我对 C++ 非常陌生，我无法自己弄清楚。
这样的函数声明的例子会非常好。
【问题讨论】：
标签： c++ function templates parameter-passing
最直接的解决方案，decltype
template<typename T, typename U>
auto func(T const& t, U const& u) -> decltype(t + u) {
return t + u;
}
如果您传递了两个无法添加的对象，decltype 的格式将不正确（以及 function-template 的定义）。
这已被接受，因此我觉得有义务进行实质性改进。让我们按照 cmets 的建议添加完美转发：
#include <utility>
template<typename T, typename U>
auto func(T&& t, U&& u) -> decltype(std::forward<T>(t) + std::forward<U>(u)) {
return std::forward<T>(t) + std::forward<U>(u);
}
虽然有些冗长，但也很简单。将t 和u 转为转发引用。然后使用std::forward 确保引用的值类别被保留。
【讨论】：
decltype。只需return t+u 就足够了。我认为这个问题的难点在于执行实际的求和。
void?我认为你过早地假设了这些要求。有趣的是，只允许可求和类型，而不进行运行时求和。 OP从未说过，他们想要总结任何东西......
namespace details {
template<template<class...>class, class, class...>
struct can_apply:std::false_type{};
// C++17 has void_t. It is useful. Here is a short implementation:
template<class...>struct voider{using type=void;};
template<class...Ts>using void_t=typename voider<Ts...>::type;
template<template<class...>class Z, class...Ts>
struct can_apply<Z, void_t<Z<Ts...>>, Ts...>:std::true_type{};
}
template<template<class...>class Z, class...Ts>
using can_apply = details::can_apply<Z, void, Ts...>;
template<class A, class B>
using add_result = decltype( std::declval<A>()+std::declval<B>() );
template<class A, class B>
using can_add = can_apply< add_result, A, B >;
现在can_add<int, int> 是（继承自）std::true_type，而can_add<std::string, void*> 是（继承自）std::false_type。
现在，如果您使用的是非 MSVC c++14 编译器，则可以：
template<class A, class B,
std::enable_if_t<can_add<A&,B&>{}, int> =0
>
void only_addable( A a, B b ) {
a+b; // guaranteed to compile, if not link
}
或
template<class A, class B>
std::enable_if_t<can_add<A&,B&>{}, void> // void is return value
only_addable( A a, B b ) {
a+b; // guaranteed to compile, if not link
}
在c++2a 中，概念提案将使这种语法更清晰。
有一个is_detected 的提案，它的作用类似于我上面的can_apply。
add_result 的 declval 部分很烦人。缺乏概念，我不知道如何干净地删除它。
【讨论】：
如果您想将其提取到单独的检测器元函数中，它可能看起来像
template <typename T>
struct is_addable
{
private:
template <typename A, typename B = decltype(std::declval<A>() + std::declval<A>())>
static std::true_type check (A *);
template <typename A>
static std::false_type check (...);
public:
static constexpr bool value = decltype(check<T>(nullptr))::value;
};
然后，您可以对函数进行 sfinae 约束：
template <typename A, typename = std::enable_if_t<is_addable<A>::value>>
void func (A x, A y)
{
// ...
}
这是 C++03 的方式。 Yakk presented 一个现代 C++14 解决方案。
【讨论】：
std::integral_constant<bool, ?> 的全部功能与constexpr 转换和() 通常很好）