指向成员的指针：在GCC中工作但在VS2015中不起作用

Question

我正在尝试实现一个“属性”系统来将C ++实例转换为JSON，反之亦然。 我在这个问题（ C ++ JSON序列化 ）中从Guillaume Racicot的答案中获取了部分代码并对其进行了简化。

以下是我的进展方式。 我有一个Property类：

template <typename Class, typename T>
struct Property {
    constexpr Property(T Class::* member, const char* name) : m_member(member), m_name(name) {}

    T Class::* m_member;
    const char* m_name;
};

m_member指向Class的特定成员

假设我想为User类定义属性，我希望能够像这样继续，以便能够为成员分配属性名称：

class User
{
public:
    int age;

    constexpr static auto properties = std::make_tuple(
        Property<User, int>(&User::age, "age")
    );
}

此代码在GCC（ http://coliru.stacked-crooked.com/a/276ac099068579fd ）中编译并正常工作，但在Visual Studio 2015 Update 3中没有。我收到了以下错误：

main.cpp(19) : error C2327 : 'User::age' : is not a type name, static, or enumerator
main.cpp(19) : error C2065 : 'age' : undeclared identifier
main.cpp(20) : error C2672 : 'std::make_tuple' : no matching overloaded function found
main.cpp(20) : error C2119 : 'properties' : the type for 'auto' cannot be deduced from an empty initializer

是否有解决方法使其在Visual Studio 2015 Update 3中运行？

Answer 1

我首选的解决方法是使用properties成员函数替换properties成员数据：

class User
{
public:
    int age;

    constexpr static auto properties() { return std::make_tuple(
        Property<User, int>(&User::age, "age")
    ); }
};

这是有效的，因为在成员函数的定义中，该类被认为是完全定义的。 它还具有理想的属性，如果使用odr，则不需要单独定义properties 。

Answer 2

MSVC在想要计算properties类型以了解其具有成员age时对User了解不够。

我们可以解决这个问题。

template<class T>struct tag_t{constexpr tag_t(){};};
template<class T>constexpr tag_t<T> tag{};

template<class T>
using properties = decltype( get_properties( tag<T> ) );

class User
{
public:
  int age;

};
constexpr auto get_properties(tag_t<User>) {
  return std::make_tuple(
    Property<User, int>(&User::age, "age")
  );
}

在JSON反射代码中，只需用get_properties( tag<std::decay_t<T>> )替换std::decay_t<T>::properties 。

这有一些优点。 首先，您可以改装一些您不拥有或希望无缝修改属性的类。 通过仔细使用命名空间和ADL启用调用点，您甚至可以为std （某些）类型执行此操作（仅限oublic成员;至少配对）。

其次，它避免了对属性的可能的ODR使用要求。 属性现在是constexpr返回值，而不是某些可能需要存储的全局数据。

第三，它允许属性与上面的类定义一起编写，或者作为类中的friend内联，以获得最大的灵活性。

Answer 3

如果绝对需要在User类中定义属性，也许你可以使用helper模板化constexpr函数，如：

#include <tuple>

template <typename Class, typename T>
struct Property {
    constexpr Property(T Class::* const member) : m_member{ member } {}

    T Class::* const m_member;
};

template <class T, class V>
constexpr Property<T, V> get_age_property() {
    return  Property<T, V>(&T::age);
}

class User
{
public:
    int age;

    constexpr static std::tuple<Property<User, int>> properties = std::make_tuple(
         get_age_property<User, int>()
    );

};

int main()
{
}

它似乎在webcompiler中编译，即VC ++ 19.00.23720.0