`friend struct std :: is_invocable`可以访问班级的私人成员，这是朋友

Question

我已经制作struct std :: is_invocable是 类D的朋友，但它无法访问d的私人成员。 GCC，Clang和MS Visual Studio 2017发生这种情况，因此这不是MSVC的怪癖之一。

#include <iostream>
#include <string>
#include <type_traits>
#include <iomanip>
#include <cmath>
using std::cin;
using std::cout;

const double PI = 3.1415926535898;

class A
{
public:
    A(double xx) : x(xx)
    {
        s = sin(x);
    }
    
    double sinx()
    {
        return s;
    }
    
private:
    double x;
    double s;
};

class B
{
public:
    double sinx(double x)
    {
        return sin(x);
    }
};

class C
{
public:
    static double sinx(double x)
    {
        return sin(x);
    }
};

class D
{
private:
    double sinx(double x)
    {
        return sin(x);
    }
    
public:
    template<class T, class... Args>
    friend struct std::is_invocable;
};

class E
{
public:
    double sinx;
};

int main()
{
    std::string s;
    A a0(PI/2.);
    
    cout << std::boolalpha;
    cout << std::is_invocable<decltype(&A::sinx), A&>::value << "\n";
    cout << std::is_invocable<decltype(&B::sinx), B&, const double>::value << "\n";
    cout << std::is_invocable<decltype(&B::sinx), const double>::value << "\n";
    cout << std::is_invocable<decltype(&C::sinx), const double>::value << "\n";
    cout << std::is_invocable<decltype(&D::sinx), D&, const double>::value << "\n";  // shouldn't this compile if 
                                                                                     // std::is_invocable is friend?
    cout << std::is_invocable<decltype(&E::sinx), E&, const double>::value << "\n";
    
    cout << "Press ENTER to exit.\n";
    std::getline(cin, s);
}

错误是：

c2248“'d :: sinx'：无法访问类'd''d'的私人成员

C2248

Answer 1

为什么不能std :: is_invocable访问d :: sinx（）？

因为它不是试图的。 MAIN正在尝试访问d :: Sinx。它不能。请记住：可访问性是关于谁可以使用会员的名称。您在main中键入“ D :: Sinx”的名称。因此，试图访问名称的是main。

因此，您可以访问错误的事情。