Указатель на член-данные-член-данных
У меня был следующий фрагмент кода (упрощенный для этого вопроса):
struct StyleInfo
{
int width;
int height;
};
typedef int (StyleInfo::*StyleInfoMember);
void AddStyleInfoMembers(std::vector<StyleInfoMember>& members)
{
members.push_back(&StyleInfo::width);
members.push_back(&StyleInfo::height);
}
Теперь нам пришлось немного реструктурировать это, и мы сделали что-то вроде этого:
struct Rectangle
{
int width;
int height;
};
struct StyleInfo
{
Rectangle size;
};
typedef int (StyleInfo::*StyleInfoMember);
void AddStyleInfoMembers(std::vector<StyleInfoMember>& members)
{
members.push_back(&StyleInfo::size::width);
members.push_back(&StyleInfo::size::height);
}
Если все это выглядит глупо или вы чувствуете, что по какой-то причине есть хорошая возможность применить здесь BOOST, я должен вас предупредить, что я действительно упростил все это до самой проблемы:
error C3083: 'size': the symbol to the left of a '::' must be a type
Я пытаюсь сказать, что не знаю, какой здесь правильный синтаксис. Может случиться так, что StyleInfo - неправильный тип получения адреса для начала, но в моем проекте я могу исправить такие вещи (там есть целая структура). Я просто не знаю, как указать на этого члена внутри члена.
Ответы 3
Это точно возможно? Честно говоря, не знаю, никогда особо не играл с указателем на член.
Предположим, вы использовали типы, отличные от POD (я знаю, что это не так, но синтаксис должен поддерживать это). Тогда указатель на член может инкапсулировать нечто большее, чем просто смещение от базового указателя. Также может быть косвенное обращение, в зависимости от того, как реализовано множественное наследование. При наличии нескольких уровней косвенного обращения к членам это может быть сколь угодно сложно, что очень сложно для типа, который должен иметь фиксированный размер.
Возможно, вам понадобится вектор пар типов, определяемых:
typedef Rectangle (StyleInfo::*StyleInfoMember);
typedef int (Rectangle::*RectangleMember);
Применяйте каждый по очереди, чтобы достичь того, чего хотите. Конечно, это по-прежнему не позволяет вам построить вектор сопоставлений из StyleInfo в произвольные элементы-члены StyleInfo, поскольку все они не будут проходить через Rectangle. Для этого вам может потребоваться открыть банку функторов ...
размер (как в &StyleInfo::size::width) не является именем типа.
попробуйте вместо этого size-> width или size.width, в зависимости от того, как ваш AddStyleInfoMembers вообще знает о размере.
Помните, что указатель на член используется просто как член.
Obj x;
int y = (x.*)ptrMem;
Но, как и обычные члены, вы не можете получить доступ к членам подклассов, используя механизм доступа к членам. Итак, что вам нужно сделать, это получить к нему доступ, как если бы вы получили доступ к члену объекта (в вашем случае через член размера).
#include <vector>
#include <iostream>
struct Rectangle
{
int width;
int height;
};
struct StyleInfo
{
Rectangle size;
};
typedef Rectangle (StyleInfo::*StyleInfoMember);
typedef int (Rectangle::*RectangleMember);
typedef std::pair<StyleInfoMember,RectangleMember> Access;
void AddStyleInfoMembers(std::vector<Access>& members)
{
members.push_back(std::make_pair(&StyleInfo::size,&Rectangle::width));
members.push_back(std::make_pair(&StyleInfo::size,&Rectangle::height));
}
int main()
{
std::vector<Access> data;
AddStyleInfoMembers(data);
StyleInfo obj;
obj.size.width = 10;
std::cout << obj.*(data[0].first).*(data[0].second) << std::endl;
}
Я бы не рекомендовал это делать!
Альтернативный вариант (который я рекомендую еще меньше) - найти байтовое смещение от начала класса, а затем просто добавить его к адресу объекта. Очевидно, это потребует большого количества забросов назад и вперед, так что это выглядит еще хуже, чем выше.
Я собираюсь уступить, стиснуть зубы и заявить, что это действительно невозможно. Конечно, это все типы POD, и компилятор свернет их все в простые смещения для использования при доступе к этим членам. Но это не значит, что есть способ сделать это должным образом, кроме того, что вы предлагаете.