定义交换运算时减少代码重复

我有一组名为的可交换二元函数的重载overlap，它接受两种不同的类型：

class A a; class B b;
bool overlap(A, B);
bool overlap(B, A);

我的功能overlap当且仅当一个形状与另一个形状重叠时返回 true - 这是讨论时使用的一个常见示例多种方法 https://en.wikipedia.org/wiki/Multiple_dispatch.

Because overlap(a, b)相当于overlap(b, a)，我只需要实现关系的一个“方面”。一种重复的解决方案是编写如下内容：

bool overlap(A a, B b) { /* check for overlap */ }
bool overlap(B b, A a) { return overlap(a, b);   }

但我不想额外写一个N! / 2通过允许使用模板生成相同函数的简单版本。

template <typename T, typename U> 
bool overlap(T&& t, U&& u) 
{ return overlap(std::forward<U>(u), std::forward<T>(t)); }

不幸的是，这很容易无限递归，这是不可接受的：请参阅http://coliru.stacked-crooked.com/a/20851835593bd557 http://coliru.stacked-crooked.com/a/20851835593bd557

如何防止这种无限递归？我是否正确地处理了这个问题？

这是一个简单的修复：

template <typename T, typename U> 
void overlap(T t, U u)
{
    void overlap(U, T);
    overlap(u, t);
}

模板本身声明了目标函数，这将优于递归，因为它是完全匹配的（请确保在实际情况下注意常量性和引用性）。如果该函数尚未实现，则会出现链接器错误：

/tmp/cc7zinK8.o: In function `void overlap<C, D>(C, D)':
main.cpp:(.text._Z7overlapI1C1DEvT_T0_[_Z7overlapI1C1DEvT_T0_]+0x20):
    undefined reference to `overlap(D, C)'
collect2: error: ld returned 1 exit status

...这直接指向缺失的功能:)