Указатель элемента вложенных данных - невозможно?

Question

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

Вопрос: действительно ли возможно, чтобы указатель на элемент указывал на вложенный элемент или мне не хватает какого-либо причудливого синтаксиса?

struct Color { 
    float Red; 
    float Green; 
    float Blue; }; 


struct Material { 
    float Brightness; 
    Color DiffuseColor; }; 


int main() { 
    float Material::* ParamToAnimate; 
    ParamToAnimate = &Material::Brightness;  // Ok 
    ParamToAnimate = &Material::DiffuseColor.Red; // Error! *whimper* 
    return 0; } 

ATM Я работаю с использованием байтовых смещений и множества отливок. Но это уродливо, мне бы хотелось использовать эти указатели.

Да, я знаю, что этот вопрос наверняка возник раньше (как почти любой вопрос). Да, я искал заранее, но не нашел удовлетворительного ответа.

Спасибо за ваше время.

Answer 1

AFAIK, это невозможно. Указатель-член может быть сформирован только выражением типа &qualified_id, что не является вашим делом.

Решение Vite Falcon, вероятно, является наиболее подходящим.

Answer 2

Я предполагаю, что вы пытаетесь получить указатель на datamember Red. Поскольку это определено в структуре Color, тип указателя равен Color::*. Поэтому ваш код должен быть:

int main() { 
    float Color::* ParamToAnimate; 
    ParamToAnimate = &Color::Red; 
    return 0; } 

Чтобы использовать его, вам нужно привязать его к экземпляру Color, например:

void f(Color* p, float Color::* pParam) 
{ 
    p->*pParam = 10.0; 
} 
int main() { 
    float Color::* ParamToAnimate; 
    ParamToAnimate = &Color::Red; 

    Material m; 
    f(&m.DiffuseColor, ParamToAnimate); 
    return 0; 
} 

EDIT: Это не возможно сделать функцию анимации шаблон? Например:

template<class T> 
void f(T* p, float T::* pParam) 
{ 
    p->*pParam = 10.0; 
} 
int main() { 

    Material m; 

    f(&m.DiffuseColor, &Color::Red); 
    f(&m, &Material::Brightness); 
    return 0; 
} 

Answer 3

В основном вы пытаетесь получить указатель на переменную float, которую вы можете оживить. Почему бы не использовать float*. Проблема, которую вы имеете там, состоит в том, что Brightness является участником Материала, однако Red является членом Color, а не Material, компилятору. Использование float* должно решить вашу проблему.

Answer 4

Вместо указателя-члена вы можете использовать функтор, который возвращает float* при предоставлении экземпляра Material; изменить тип ParamToAnimate к чему-то вроде:

std::function<float*(Material&)>

С положительной стороны, это портативное - но на нижней стороне, это требует значительного количества шаблонного кода и имеет значительные накладные расходы во время выполнения.

Если это критическое значение производительности, у меня возникнет соблазн придерживаться метода смещения.

Answer 5

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

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

Сделайте этот шаг дальше, и у вас есть базовый класс MaterialPointer с виртуальным методом Dereference. Класс case может обрабатывать простые члены, а производные классы обрабатывают вложенные члены с любой дополнительной информацией, необходимой им для их поиска. Завод может затем произвести MaterialMember* объектов соответствующего типа. Конечно, теперь вы застряли с распределением кучи, поэтому это, вероятно, слишком далеко, чтобы быть практичным.

Answer 6

Поскольку в какой-то момент вам нужен указатель на фактических данных, это может быть или может не работать для вас:

float Material::* ParamToAnimate; 
ParamToAnimate = &Material::Brightness;  // Ok 
float Color::* Param2; 
Param2 = &Color::Red; 

Material mat; 
mat.Brightness = 1.23f; 
mat.DiffuseColor.Blue = 1.0f; 
mat.DiffuseColor.Green = 2.0f; 
mat.DiffuseColor.Red = 3.0f; 

float f = mat.DiffuseColor.*Param2; 

Answer 7

Как насчет наследования вместо композиции?

struct Color { 
    float Red; 
    float Green; 
    float Blue; }; 

struct DiffuseColor : public Color { 
    }; 

struct Material : public DiffuseColor { 
    float Brightness; }; 


int main() { 
    float Material::* ParamToAnimate; 
    ParamToAnimate = &Material::Brightness;  // Ok 
    ParamToAnimate = &Material::DiffuseColor::Red; // Ok! *whew* 
    return 0; }