调用较少约束的功能等效函数

Question

考虑以下代码：

#include <iostream>
#include <type_traits>

struct A;

template<class T>
concept HasParent = std::is_convertible_v<typename T::parent*, A*>;

struct A{};

struct B : A { using parent = A; };

template<class T>       int foo(T*) { return 1; }

template<HasParent T>   int foo(T*)
{
  // call the other one?
  return 2;
}

int main()
{
  B b;
  std::cout << foo(&b) << std::endl; // displays 2
  return 0;
}

是否可以从foo<HasParent T>(T*)调用通用的foo<T>(T*)函数？

（这是一个（功能性）示例，但我可以在github上链接完整的代码）

Answer 1

是否可以从foo<HasParent T>(T*)调用通用的foo<T>(T*)函数？

您需要一些方法来区分这两个功能才能做到这一点。

例如：

template <typename T>               void foo(T);
template <typename T> requires true auto foo(T) -> int;

对于所有T，第二个显然比第一个更受限制，所以foo(42) 调用第二个。但是，您可以区分两者：

auto unconstrained = static_cast<void(*)(int)>(foo);

这里，受约束的函数模板返回int，所以它不是一个可行的候选者，我们得到了不受约束的模板。

在你的例子中，两者都返回int，所以这个特殊的技巧不起作用。但关键是您需要 some 方法来区分这两个模板。

更好的方法可能是：

template <typename T, std::monostate M = {}>
void foo(T);

template <typename T> requires true
void foo(T arg) {
    foo<T, std::monostate{}>(arg); // calls the unconstrained one
}

在这里使用monostate 有点可爱，因为它实际上并没有改变模板实例化的数量（只有一个monostate...）。 foo(42) 调用第二个，后者调用第一个。 Demo.

但最好只添加一个新函数并让函数模板的无约束和约束版本都调用该函数（从某种意义上说，它可能比monostate 方法更隐蔽）。