C++Talk.NET

Guest

I suggest adding, to the standard library, a function template
that, given a member pointer to a data member of a class,
and an absolute pointer to the data member in an instance
of the class, returns a pointer to the class instance.

Here is a definition of this template, which I believe would
work properly on many C++ implementations:

template <typename c_t, class m_t>
inline c_t *mbrptr_to_classptr(
m_t c_t::*rel_mbrptr, m_t *abs_mbrptr)
{
return(
reinterpret_cast<c_t *>(
reinterpret_cast<char *>(abs_mbrptr) -
(reinterpret_cast<char *>(
&((static_cast<c_t *>(0))->*rel_mbrptr)) -
static_cast<char *>(0))));
}

Here is an example of use/simple test program:

#include <iostream>

struct A { int a, b; } a;

int main(void)
{
if (mbrptr_to_classptr(&A::b, &a.b) == &a)
cout << "yes" << endl;
return(0);
}

The examples that I have of code that I would
want to use this in are long and proprietary.
They involve a class with an array member,
and a hash table member. The hash table
member contains elements of the array
member. The hash table member is an
instantiation of an intrusive template that
uses array indexes instead of pointers to
create the internal container structure.

A philisophical argument for having this
utility is that the distinction between a
data member and a base class is in
many ways arbitrary. This template
is analogous to down-casting from
a base to a derived class, so there
is reason to believe it might
occasionally be useful and
appropriate.

---
[ comp.std.c++ is moderated. To submit articles, try just posting with ]
[ your news-reader. If that fails, use mailto:std-c++@ncar.ucar.edu ]
[ --- Please see the FAQ before posting. --- ]
[ FAQ: http://www.comeaucomputing.com/csc/faq.html ]

Guest

wkaras (AT) yahoo (DOT) com wrote: