请帮助解释这些代码，也许是C ++中的“ None”？

Question

在阅读folly的源代码（ https://github.com/facebook/folly/blob/master/folly/Optional.h ）时，我发现c ++中可能是“无”语法实现，但无法理解这一点。 代码如下：

namespace detail { struct NoneHelper {}; }
typedef int detail::NoneHelper::*None; 
const None none = nullptr;

这些代码有什么作用？ 是“无”成员函数指针吗？ 请帮助，谢谢！

Answer 1

None是空指针。 这很清楚。 但是空指针也有类型。 NoneHelper是一个辅助类，除了使None的类型唯一之外，它没有其他功能。

这是一个指向成员的指针，因为这种指针的转换次数有限。 特别是，您不能意外地将指向对象的指针转换为指向成员函数的指针。

Answer 2

None是指向整数类型的成员的指针的typedef。

想象你有一个结构

namespace detail 
{ 
    struct NoneHelper 
    { 
        int a;
        int b;
        int c; 
    }; 
};

您将能够说：

typedef int detail::NoneHelper* None; 
const None memberA = &detail::NoneHelper::a;

这是用于获取成员指针值的特殊语法。 可以有效地将其视为某种偏移量：结构NoneHelper在其基本指针的此偏移量处具有一个整数类型的成员变量。

您将能够使用此语法来修改该整数，而不必明确声明要修改的整数成员。 例如：

void setToFive(detail::NoneHelper& object, const None ptrToMember)
{
    // .* is an operator that is used to dereference pointer-to-member variables
    object.*ptrToMember = 5;
}

detail::NoneHelper obj;
obj.a = 1;
obj.b = 2;
obj.c = 3;
None ptrToA = &detail::NoneHelper::a;  //Acquire the relative location of member a
None ptrToB = &detail::NoneHelper::b;  //Acquire the relative location of member b

setToFive(obj, ptrToA); //Sets the value of "obj.a" to 5
setToFive(obj, ptrToB); //Sets the value of "obj.b" to 5

std::cout << obj.a << obj.b << obj.c;  // should print out "553"

编辑：请注意，“偏移”概念仅在它是“对象的指针到成员”时适用。 成员指针的语法也可以用于成员函数（ int (SomeType::*)(int arg1) ），（希望亲爱的上帝）不存储成员函数可能包含在其中的“偏移量”物体。