调用一个特别没有模板化的函数

Question

我有一堆函数可以检查各种形状之间的碰撞。

bool Collides(Rect r, Circle c);
bool Collides(Rect r, Line l);
bool Collides(Line l, Circle c);

我希望我可以实现一个单一的模板化函数，通过允许它交换输入参数来将我的实现计数减半。这样就不必还必须实施：

// The same as before but the input parameters swapped
bool Collides(Circle c, Rect r) { return Collides(r, c); }
bool Collides(Line l, Rect r) { return Collides(r, l); }
bool Collides(Circle c, Line l) { return Collides(l, c); }

我可以改为写一次：

template <typename Shape1, typename Shape2>
bool Collides(Shape1 a, Shape2 b)
{
    return Collides(b, a);
}

不幸的是，当两者Collides(a, b)的Collides(b, a)都没有实现它调用模板递归函数在运行时，这显然是无意识的行为。

是否有一些 C++ 标记或功能允许您关闭或禁止指定行或块的参数类型推导？目的是强制编译器寻找非模板化的实现，如果不存在则编译失败。

Answer 1

有一次没有查找函数模板是在函数声明期间（打开之前{）。利用这一点，我们可以 SFINAE 未实现的参数：

template<typename Shape1, typename Shape2>
auto Collides(Shape1 a, Shape2 b) -> decltype(::Collides(b, a)) {
    return Collides(b, a);
}

但请注意，这必须写在Collides.

您也可以调用一个不同的委托函数：

template<typename Shape1, typename Shape2>
auto ActualCollides(Shape1 a, Shape2 b) -> decltype(Collides(a, b)) {
    return Collides(a, b);
}

template<typename Shape1, typename Shape2>
auto ActualCollides(Shape1 a, Shape2 b) -> decltype(Collides(b, a)) {
    return Collides(b, a);
}

// Or rename `Collides` into `CollidesImpl` and you can call this `Collides` instead

Collides由于 ADL，这将考虑到未来的功能。