Is Pointer-to- ” inner struct” member forbidden?

by

Yes, it is forbidden. You are not the first to come up with this perfectly logical idea. In my opinion this is one of the obvious “bugs”https://stackoverflow.com/”omissions” in the specification of pointers-to-members in C++, but apparently the committee has no interest in developing the specification of pointers-to-members any further (as is the case with most of the “low-level” language features).

Note that everything necessary to implement the feature in already there, in the language. A pointer to a-data-member-of-a-member is in no way different from a pointer to an immediate data member. The only thing that’s missing is the syntax to initialize such a pointer. However, the committee is apparently not interested in introducing such a syntax.

From the pure formal logic point of view, this should have been allowed in C++

struct Inner {
  int i;
  int j[10];
};

struct Outer {
  int i;
  int j[10];
  Inner inner;
};

Outer o;
int Outer::*p;

p = &Outer::i; // OK
o.*p = 0; // sets `o.i` to 0

p = &Outer::inner.i; // ERROR, but should have been supported
o.*p = 0; // sets `o.inner.i` to 0

p = &Outer::j[0]; // ERROR, but should have been supported
o.*p = 0; // sets `o.j[0]` to 0
// This could have been used to implement something akin to "array type decay" 
// for member pointers

p = &Outer::j[3]; // ERROR, but should have been supported
o.*p = 0; // sets `o.j[3]` to 0

p = &Outer::inner.j[5]; // ERROR, but should have been supported
o.*p = 0; // sets `o.inner.j[5]` to 0

A typical implementation of pointer-to-data-member is nothing more than just an byte-offset of the member from the beginning of the enclosing object. Since all members (immediate and members of members) are ultimately laid out sequentially in memory, members of members can also be identified by a specific offset value. This is what I mean when I say that the inner workings of this feature are already fully implemented, all that is needed is the initialization syntax.

In C language this functionality is emulated by explicit offsets obtained through the standard offsetof macro. And in C I can obtain offsetof(Outer, inner.i) and offsetof(Outer, j[2]). Unfortunately, this capability is not reflected in C++ pointers-to-data-members.

More Related Contents:

  1. C++ pointer decleration
  2. Pointer to string with spaces [closed]
  3. What is a smart pointer and when should I use one?
  4. C++ delete – It deletes my objects but I can still access the data?
  5. What is uintptr_t data type
  6. Which kind of pointer do I use when?
  7. What is the point of function pointers?
  8. What happens in a double delete?
  9. How does delete[] know it’s an array?
  10. Why is ‘this’ a pointer and not a reference?
  11. Pointers, smart pointers or shared pointers? [duplicate]
  12. What makes more sense – char* string or char *string? [duplicate]
  13. Modifying a const through a non-const pointer
  14. Why does streaming a char pointer to cout not print an address?
  15. Create new C++ object at specific memory address?
  16. Do all pointers have the same size in C++?
  17. Difference between using character pointers and character arrays
  18. What do I need to do before deleting elements in a vector of pointers to dynamically allocated objects?
  19. Are non dereferenced iterators past the “one past-the-end” iterator of an array undefined behavior?
  20. Why are `&array` and `array` pointing to the same address?
  21. How do I create an array of pointers?
  22. Const variable changed with pointer in C
  23. how do arrays work internally in c/c++
  24. Understanding -Weffc++
  25. Why is a c++ reference considered safer than a pointer?
  26. Safety of casting between pointers of two identical classes?
  27. How can a char pointer be initialized with a string (Array of characters) but an int pointer not with an array of integer? [duplicate]
  28. Does ‘auto’ type assignments of a pointer in c++11 require ‘*’?
  29. Is it possible to have a pointer literal?
  30. Pass by pointer & Pass by reference [duplicate]

Leave a Comment