C++17, Macro-Parameter mit :: Verbinden?

[cppbert (Gast)]

Wie kann ich zwei Macro-Parameter mit :: verbinden damit ein voll 
qualifizierter Name ensteht?

mit _ geht es aber nicht mit ::
godbolt: https://gcc.godbolt.org/z/TvY7YT

// wenn ich hier den Unterstrich durch :: ersetze hagelt es Fehlermeldungen
#define FULL_MEMBER( Struct, Member ) Struct ## _ ## Member

struct A
{
    int b;
};

FULL_MEMBER(A,b) // Preprozessor mach daraus A_b, ich hätte gerne A::b

[cppbert (Gast)]

Hintergrund:

ich wollte mir für ein Reverse-Engineering Projekt so ein kleines 
Hilfs-Macro für die Analyse schreiben - normalerweise nutze ich keine 
Macros aber hier wäre so was schon eine Arbeitserleichterung, wird auch 
nicht teil irgendwelchen Produktiv-Codes

struct MemberInfo
{
    const char* name;
    size_t alignof_;
    size_t sizeof_;
    size_t offsetof_;
};

#define MEMBER_INFO( Struct, Member ) MemberInfo { #Member, alignof( Struct##::##Member ), sizeof( Struct##::##Member ), offsetof(Struct,Member) }

[cppbert (Gast)]

so würde es gehen aber das sieht schon sehr verrückt aus

#define AlignOf( s, m ) alignof( decltype( ( (s*)0 )->m ) )
#define SizeOf( s, m ) sizeof( decltype( ( (s*)0 )->m ) )

#define MEMBER_INFO( Struct, Member ) Mem_info { #Member, AlignOf( Struct, Member ), SizeOf( Struct, Member ), offsetof(Struct,Member) }

[rµ (Gast)]

#define FULL_MEMBER( Struct, Member ) Struct :: Member

funktioniert nicht?

[Rolf M. (rmagnus)]

cppbert schrieb:
> Wie kann ich zwei Macro-Parameter mit :: verbinden damit ein voll
> qualifizierter Name ensteht?
>
> mit _ geht es aber nicht

Hä?

> mit ::

Hä?

> godbolt: https://gcc.godbolt.org/z/TvY7YT
> // wenn ich hier den Unterstrich durch :: ersetze hagelt es
> Fehlermeldungen
> #define FULL_MEMBER( Struct, Member ) Struct ## _ ## Member
> struct A

Ja, denn es handelt sich um den "token pasting operator". Der fügt die 
beiden Operanden zusammen, so dass sie vom Compiler als ein einzelnes 
Wort betrachtet werden. Bei :: darf das aber nicht passieren, denn 
Struct, :: und Member müssen drei separte Tokens bleiben, damit der 
Compiler was damit anfangen kann. Warum verwendest du den Operator 
überhaupt?

[cppbert (Gast)]

Rolf M. schrieb:
> Warum verwendest du den Operator
> überhaupt?

Macro-Unerfahrenheit

so geht es, Danke

#include <cstddef>
#include <type_traits>

struct MemberInfo
{
    const char* name;
    int alignof_;
    int sizeof_;
    int offsetof_;
};
#define MEMBER_INFO( Struct, Member ) MemberInfo { #Member, alignof( Struct::Member ), sizeof( Struct::Member ), offsetof(Struct,Member) }

struct A
{
    int b;
};

int main()
{
  constexpr MemberInfo mi = MEMBER_INFO(A, b);
  return mi.sizeof_;
}

[cppbert (Gast)]

so wie oben geht es mit dem clang, gcc und intel - aber nicht mit dem 
VS2017 oder VS2019 - mit dem ich arbeite :/

gcc.godbolt: https://gcc.godbolt.org/z/v1GGE6

[rµ (Gast)]

Alignof funktioniert nur auf einen Typ. Je nach dem was mit dem Wert 
bezweckt werden soll müsste man vermutlich das alignment der struct mit 
dem offset des members verrechnen. Ich denke mal (ohne besonders darüber 
nachgedacht oder nachgesehen zu haben) dass structs automatisch 
mindestens das maximum an alignments der members bekommen, also keine 
32bit-aligned struct ein 64bit-aligned member haben kann. Von daher - 
wozu wäre der Wert gut?

#define MEMBER_INFO( Struct, Member ) MemberInfo { #Member, alignof( Struct ), sizeof( Struct :: Member ), offsetof(Struct, Member) }

funktioniert im godbolt mit VS.

[cppbert (Gast)]

>Alignof funktioniert nur auf einen Typ.

hab mich verwirren lassen weil clang, gcc und intel das ohne Problem 
durchgehen lassen

alignof(decltype(Struct::Member))

sollte dann aber das was ich haben will (mit deiner Korrektur) sein

#define MEMBER_INFO( Struct, Member ) MemberInfo { #Member, alignof( decltype(Struct::Member) ), sizeof( Struct::Member ), offsetof(Struct,Member) }