我试图重载运算符 - 以便它将set difference应用于其参数。因为我无法弄清楚如何将其限制为STL容器（因为如果我不这样做，它会覆盖每个操作员 - 它似乎），我试图将它限制为仅设置和向量，因为我将它用于那些二。 这是我的代码：
#define RANGE(x) (x).begin(), (x).end()
template<class T>
struct is_STL_container
{
static const bool value = false;
};
template<class T, typename alloc>
struct is_STL_container<std::vector<T, alloc>>
{
static const bool value = true;
};
template<class T, class comp, typename alloc>
struct is_STL_container<std::set<T, comp, alloc>>
{
static const bool value = true;
};
template <class T1, class T2,
class std::enable_if<is_STL_container<T1>::value && is_STL_container<T2>::value, T1>::type>
T1 operator - (const T1 &l, const T2 &r)
{
assert(typeid(T1::value_type) == typeid(T2::value_type));
std::vector<T1::value_type> result;
std::set_difference(RANGE(l), RANGE(r), std::back_inserter(result));
return T1(RANGE(result));
}
但是当我尝试编译我的程序时，我得到以下错误：
Error 2 error C1903: unable to recover from previous error(s); stopping compilation C:\Program Files (x86)\Microsoft Visual Studio 12.0\VC\include\algorithm 3071 1 TrafficLight
Error 1 error C2893: Failed to specialize function template 'unknown-type std::less<void>::operator ()(_Ty1 &&,_Ty2 &&) const' C:\Program Files (x86)\Microsoft Visual Studio 12.0\VC\include\algorithm 3071 1 TrafficLight
我无法弄清楚问题 我正在使用VS2013
最诚挚的问候 Uzaku
答案 0 :(得分：4)
您的代码存在许多语法错误。以下示例有效。
注意：下面的operator-是T而非T1和T2的模板，因为我不确定您是否真的想要允许operator-在使用不同类型的向量时工作，例如std::vector<int>和std::vector<double>。
#include <algorithm>
#include <iostream>
#include <set>
#include <vector>
#define RANGE(x) (x).begin(), (x).end()
template<class T>
struct is_STL_container
{
static const bool value = false;
};
template<class T, typename alloc>
struct is_STL_container<std::vector<T, alloc>>
{
static const bool value = true;
};
template<class T, class comp, typename alloc>
struct is_STL_container<std::set<T, comp, alloc>>
{
static const bool value = true;
};
template <class T>
typename std::enable_if<is_STL_container<T>::value && is_STL_container<T>::value, T>::type
operator-(const T &l, const T &r)
{
T result;
std::set_difference(RANGE(l), RANGE(r), std::back_inserter(result));
return result;
}
int main()
{
std::vector<int> a = { 1, 2, 3, 4, 5 };
std::vector<int> b = { 2, 3, 4 };
std::vector<int> r = a - b;
for (const auto& v : r)
{
std::cout << v << " ";
}
return 0;
}
1 5
注意：正如@StoryTeller在评论中指出的那样，operator-上的T模板会阻止operator-在std::vector<int>之间的有效使用}和std::set<int>（由OP尝试）。以下代码使用T1和T2来解决此问题。
#include <algorithm>
#include <cassert>
#include <iostream>
#include <set>
#include <typeinfo>
#include <vector>
#define RANGE(x) (x).begin(), (x).end()
template<class T>
struct is_STL_container
{
static const bool value = false;
};
template<class T, typename alloc>
struct is_STL_container<std::vector<T, alloc>>
{
static const bool value = true;
};
template<class T, class comp, typename alloc>
struct is_STL_container<std::set<T, comp, alloc>>
{
static const bool value = true;
};
template <class T1, class T2>
typename std::enable_if<is_STL_container<T1>::value && is_STL_container<T2>::value, T1>::type
operator-(const T1 &l, const T2 &r)
{
assert(typeid(typename T1::value_type) == typeid(typename T2::value_type));
T1 result;
std::set_difference(RANGE(l), RANGE(r), std::back_inserter(result));
return result;
}
int main()
{
std::vector<int> a = { 1, 2, 3, 4, 5 };
std::vector<int> b = { 2, 3, 4 };
std::set<int> c = { 2, 3, 4 };
std::vector<int> r = a - b;
for (const auto& v : r)
{
std::cout << v << " ";
}
std::cout << "\n";
r = a - c;
for (const auto& v : r)
{
std::cout << v << " ";
}
return 0;
}
1 5
1 5
答案 1 :(得分：3)
std::enable_if是一个返回类型的metafuction（默认为void）
因此，您的主operator-语句格式不正确。
您必须将模板class参数更改为此
class = typename std::enable_if_t<is_STL_container<T1>::value &&
is_STL_container<T2>::value>
或者这个：
class = typename std::enable_if<is_STL_container<T1>::value &&
is_STL_container<T2>::value>::type
您可以找到固定程序here。
答案 2 :(得分：1)
考虑这个定义
template <class T1, class T2, class int> int operator- ...
这显然不正确，对吧？但是你只写了稍微复杂一点的版本。
你的内容是什么
template <class T1, class T2>
typename std::enable_if<whatever>::type
operator- ...