考虑以下程序：

#include <iostream>

template<typename T> void f1(T& v)
{
  std::cout << "f1: can call g" << std::endl;
  v.g();
}

template<typename T> void f2(T& v) requires requires (T& v) { v.g(); }
{
  std::cout << "f2: can call g" << std::endl;
  v.g();
}

template<typename T> void f2(T&) requires (!requires (T& v) { v.g(); })
{
  std::cout << "f2: cannot call g" << std::endl;
}

class A
{

public: // if commented out, f2 will not call g anymore

  void g()
  {
    std::cout << "g called" << std::endl;
  }

  template<typename T> friend void f1(T& v);
  template<typename T> friend void f2(T& v);
};

class B
{
};


int main()
{
  std::cout << "A" << std::endl;
  A a{};
  f1(a);
  f2(a);

  std::cout << "B" << std::endl;
  B b{};
  f2(b);

  return 0;
}

该函数g可能存在于类中，也可能不存在。如果是（如 for A），函数f2应该调用它，如果不是（如 for B）它不应该调用。这种区别是通过requires子句进行的。

我结识了f2，A所以g即使是私密的，它也应该能够打电话（一般来说，结交工作很好，请参阅 参考资料f1）。然而，requires似乎忽略了该函数是友好的，因此，当g在 中设为私有时A，g不再被调用。

为什么是这样？是否有解决方法，即调节是否可以调用函数，即使它是私有的（但已成为朋友）？也许甚至使用旧学校std::enable_if？

回答

template <typename T>
void f2(T& v)
{
    if constexpr (requires { v.g(); }) {
        std::cout << "f2: can call gn";
        v.g();
    } else {
        std::cout << "f2: cannot call gn";
    }
}