我将使用以下示例来说明我的问题：
template<typename T>
T diff(T a, T b)
{
return a-b;
}
我希望这个模板函数只在类型 T 被签名时才有效。我能想到的唯一解决方案是对所有无符号类型使用 delete 关键字：
template<>
unsigned char diff(unsigned char,unsigned char) == delete;
template<>
unsigned char diff(unsigned char,unsigned char) == delete;
还有其他解决方案吗？
【问题讨论】：
std::is_unsigned 可以帮助你（或is_signed）。还没想好具体怎么写，不过是某种 SFINAE。
您可以将std::is_signed 与std::enable_if 一起使用：
template<typename T>
T diff(T a, T b);
template<typename T>
std::enable_if_t<std::is_signed<T>::value, T> diff(T a, T b) {
return a - b;
}
这里std::is_signed<T>::value是true当且仅当T被签名（顺便说一句，浮点类型也是true，如果你不需要它，考虑与std::is_integral结合） .
std::enable_if_t<Test, Type> 与std::enable_if<Test, Type>::type 相同。 std::enable_if<Test, Type> 被定义为空结构，以防Test 为假，否则定义为只有 typedef type 等于模板参数Type 的结构。
所以，对于有符号类型，std::enable_if_t<std::is_signed<T>::value, T> 等于 T，而对于无符号，它没有定义，编译器使用 SFINAE 规则，因此，如果您需要为特定的无符号类型指定实现，您可以轻松做到这一点：
template<>
unsigned diff(unsigned, unsigned)
{
return 0u;
}
【讨论】：
enable_if，因为它在编译时没有提供有用的信息。只会告诉你没有找到这个符号……在这种特殊的环境中并不酷。
template 而只是重载一个函数，代码会更简洁。也就是说，您不需要最初的 template 声明，unsigned 的特化只是成为重载（不需要“template<>”）。
static_assert 在这里更可取
static assert 和 std::is_signed 怎么样？
template<typename T>
T diff(T a, T b)
{
static_assert(std::is_signed<T>::value, "signed values only");
return a-b;
}
现场观看： http://ideone.com/l8nWYQ
【讨论】：
static_assert 将在 C++17 中添加没有消息，并且此问题使用 C++11 和 C++14 进行标记。
static_assert 而不是 SFINAE，因为它会产生更好的错误消息。 OTOH，static_assert 表示您将来不能 SFINAE 关闭该功能。至少，我认为大部分公共API函数应该是static_asserts
static_assert。感谢编辑！
我会使用 static_assert 并带有很好的错误消息。 enable_if 只会让您的 IDE 陷入困境，并且无法编译并显示类似
找不到标识符
diff
这没有多大帮助。
那么为什么不这样呢：
#include <type_traits>
template <typename T>
T diff(T a, T b)
{
static_assert(std::is_signed< T >::value, "T should be signed");
return a - b;
}
这样，当您使用非签名类型调用 diff 时，您将让编译器编写此类消息：
错误：T 应该被签名
调用diff 的位置和值，这正是您要查找的内容。
【讨论】：
enable_if会让IDE陷入困境？
diff(1, 2u)，但是由于 enable_if，它会使函数消失，从而突出一个错误而不告诉你哪里错了。
作为另一种选择，您可能会添加带有 std::is_signed 类型特征的 static_assert：
template<typename T>
auto diff(T x, T y)
{
static_assert(std::is_signed<T>::value, "Does not work for unsigned");
return x - y;
}
这样：
auto x = diff(4, 2); // works
auto x = diff(4U, 2U); // does not work
【讨论】：
所以我对你的函数有一些问题。
首先，您的函数需要匹配所有 3 种类型——左、右和结果类型。所以signed char a; int b; diff(a-b); 不会无缘无故地工作。
template<class L, class R>
auto diff( L l, R r )
-> typename std::enable_if<
std::is_signed<L>::value && std::is_signed<R>::value,
typename std::decay<decltype( l-r )>::type
>::type
{
return l-r;
}
我想做的第二件事是创建一个 diff 对象；你不能轻易地传递你的 diff 函数，高阶函数很棒。
struct diff_t {
template<class L, class R>
auto operator()(L l, R r)const
-> decltype( diff(l,r) )
{ return diff(l,r); }
};
现在我们可以将diff_t{} 传递给算法，因为它在一个（普通）C++ 对象中保存了diff 的“重载集”。
现在这是严重的矫枉过正。一个简单的static_assert 也可以工作。
static_assert 将生成更好的错误消息，但不支持使用 SFINAE 来查看是否可以调用 diff 的其他代码。它只会产生一个硬错误。
【讨论】：
您的程序期望结果是什么？就目前而言，您返回一个无符号作为差异的结果。恕我直言，这是一个等待发生的错误。
#include <type_trait>
template<typename T>
auto diff(T&& a, T&& b)
{
static_assert (std::is_unsigned<T>::value);
return typename std::make_signed<T>::type(a - b);
}
一个更现代的等待写这个：
inline auto diff(const auto a, const auto b)
{
static_assert ( std::is_unsigned<decltype(a)>::value
&& std::is_unsigned<decltype(b)>::value );
return typename std::make_signed<decltype(a -b)>::type(a - b);
}
[编辑] 我觉得有必要添加此评论：在数学方程式中使用无符号整数类型总是很棘手。上面的例子对于任何数学包来说都是一个非常有用的附加组件，如果在现实生活中，你经常不得不求助于转换来产生差异signed，或者数学不起作用。
【讨论】：
auto 类型的参数。因此，IMO 不是一个好的建议。
-Wpedantic 或等效的。再说一次，我不记得有任何迹象表明 auto 函数参数已进入 C++17，甚至是非草案 TS。
warning: ISO C++ forbids use of 'auto' in parameter declaration [-Wpedantic]
#include <type_traits>
template<typename T>
std::enable_if_t<(0>-T(1)),T> diff(T a, T b)
{
return a-b;
}
使用 (0>-T(1)) ，我假设 -1 的 init T 将小于 0。并且无符号值不可能小于 0
【讨论】：