最近，小明同学学习了泛型编程技术——模板，了解了函数模板与类模板的设计，并且设计了不少基于模板技术实现的函数和类，你特别羡慕小明掌握了这些编程的技术，于是你用了几顿饭的代价，从小明那里学到了相关的知识，并想尝试一下。数学上，我们学过集合（元素不重复），结合标准模板库，我们可以一个动态有序数组来表示集合，并能动态调整集合的大小(容量)。经过前期的实验，你基本熟悉了相关知识，并已经设计好了类模板框架，设计了几个简单的成员函数，如各种构造函数、插入、查找、输出、赋值、删除等。在此基础上，我们也希望小明能实现集合的相关运算，如集合的交(∩)、并(∪)、差(-)等，集合的差运算，在数学上往往用运算符(-)来实现，现在请你写一个函数，重载运算符-，用来求两个集合的差。

好的，根据您的要求，我来实现一个重载运算符-的函数，用来求两个集合的差。

首先，我们需要明确集合的定义。集合是指元素不重复的一种数据结构，因此我们可以使用一个动态数组来表示集合，并通过类模板来实现。

我们可以将集合的差运算定义为：集合A与集合B的差，是由所有属于集合A但不属于集合B的元素组成的集合。因此，我们可以设计一个重载运算符-的函数模板，用来求两个集合的差。

以下是实现重载运算符-的函数模板：

template<typename T>
Set<T> operator-(const Set<T>& A, const Set<T>& B) {
    Set<T> result;
    for (auto iter = A.begin(); iter != A.end(); ++iter) {
        if (!B.contains(*iter)) {
            result.insert(*iter);
        }
    }
    return result;
}

这个函数模板接受两个Set类型的引用参数A和B，返回一个Set类型的对象result，表示集合A与集合B的差。该函数的实现思路是：遍历集合A，对于集合A中的每一个元素，判断它是否属于集合B，如果不属于，则将其插入到result中。

在这个函数模板中，我们使用了Set类的成员函数contains和insert，分别用来判断元素是否属于集合和将元素插入到集合中。

接下来，我们可以使用以下代码来测试这个重载函数：

Set<int> A, B;
A.insert(1);
A.insert(2);
A.insert(3);
B.insert(2);
B.insert(4);
auto C = A - B;
for (auto iter = C.begin(); iter != C.end(); ++iter) {
    cout << *iter << " "; // 输出1 3
}

希望对您有所帮助！