Блог

Я никогда не видел этого ни на одном языке, но мне было интересно, возможно ли это с помощью какого-нибудь трюка, которого я не знаю.

Допустим, у меня есть функция, подобная

 struct A {
  // some members and methods ...
  some_t t;
  // more members ...
};   


void test(some_tamp; x) { // a reference to avoid copying a new some_t
    // obtain the A instance if x is the t member of an A 
    // or throw an error if x is not the t member of an A
    ...
    // do something
}
  

Можно ли было бы получить экземпляр, A чьим членом t является x ?

Нет, к сожалению, это невозможно.

Если вы знаете, что у вас есть ссылка на t элемент некоторого A экземпляра, вы можете получить экземпляр с помощью container_of , например A* pa = container_of(amp;x, A, t); .

Проверка того, что результирующий указатель действительно является A , технически возможна тогда и только тогда, A когда имеет виртуальные члены, к сожалению, нет переносимого метода для проверки.

Однако вы можете достичь чего-то подобного, используя множественное наследование и dynamic_cast , что позволяет выполнять перекрестное приведение между подобъектами.

Вы можете добавить указатель на A inside some_t (конечно, если some_t есть struct или class )

вот так:

 struct some_t
{
  A *a;
  ...
};

void test(some_tamp; x) 
{
  if( x.a )
  {
    // do some
  }
  else
    throw ...
}
  

Если вы можете изменить структуру A и ее конструктор и если вы можете обеспечить упаковку структуры, вы можете добавить значение непосредственно после t, которое содержит некоторый волшебный ключ.

 struct A {
  ...
  some_t t
  struct magic_t
  { 
    uint32 code
    some_t* pt;
  } magic;
}
#define MAGICCODE 0xC0DEC0DE //or something else unique 
  

В конструкторе A выполните:
this->magic.code = MAGICCODE; this->magic.pt = amp;(this->t);
Затем вы можете написать

 bool test(some_t *t)  //note `*` not `amp;`
{
    struct magic_t* pm = (struct magic_t*)(t 1);
    return (pm->pt == t amp;amp; pm->code == MAGICCODE);
}
  

Этот ответ не соответствует всем требованиям исходного вопроса, я удалил его, но OP попросил меня опубликовать его. Это показывает, как при очень специфических условиях вы можете вычислить указатель экземпляра из указателя на переменную-член.

Вы не должны, но вы можете:

 #include <iostream>
#include <cstddef>

using namespace std;

struct A
{
    int x;
    int y;
};

struct A* find_A_ptr_from_y(int* y)
{
    int o = offsetof(struct A, y);
    return (struct A*)((char *)y - o);
}

int main(int argc, const char* argv[])
{
    struct A a1;
    struct A* a2 = new struct A;

    cout << "Address of a1 is " << amp;a1 << endl;
    cout << "Address of a2 is " << a2 << endl;

    struct A *pa1 = find_A_ptr_from_y(amp;a1.y);
    struct A *pa2 = find_A_ptr_from_y(amp;(a2->y));

    cout << "Address of a1 (recovered) is " << pa1 << endl;
    cout << "Address of a2 (recovered) is " << pa2 << endl;
}
  

Вывод

 Address of a1 is 0x7fff5fbff9d0
Address of a2 is 0x100100080
Address of a1 (recovered) is 0x7fff5fbff9d0
Address of a2 (recovered) is 0x100100080
  

Предостережения: если то, что вы передаете find_A_ptr_from_y , не является указателем на (struct A).y, вы получите полный мусор.

Вы не должны (почти) никогда этого делать. Смотрите комментарий DasBoot ниже.

Мне не совсем ясно, что вы пытаетесь сделать, но если вы хотите найти указатель на экземпляр struct A, когда вы знаете указатель на элемент A, вы можете это сделать.

Смотрите, например, макрос container_of в ядре Linux.

Параметр x функции test() не обязательно должен быть членом какого-либо класса, насколько test() преобразуется.

Если семантически в конкретном приложении x всегда должен быть член класса, то эта информация может быть предоставлена либо путем передачи дополнительного параметра, либо some_t сама по себе содержать такую информацию. Однако делать это было бы совершенно излишне, поскольку, если test() действительно необходим доступ к объекту, содержащему x , то почему бы просто не передать сам родительский объект? Или просто создать test() функцию-член того же класса и вообще не передавать параметры? Если причина в том, что x может принадлежать разным классам, то для решения этой проблемы можно использовать полиморфизм.

В принципе, я полагаю, что нет ситуации, когда вам понадобилась бы такая возможность, которая не могла бы быть решена более простым, безопасным и более объектно-ориентированным способом.