Как получить доступ к переменной элемента без использования MACRO

Question

Я удаляю свой старый вопрос и переформулирую вопрос здесь. Могу ли я использовать следующую функцию, используя шаблон?

#include <iostream> 

using namespace std; 

#define FUNC(T1, T2) do {cout<< T1.T2<<endl; } while(0); 

struct ST{ 
    double t1; 
    int t2; 
    double t3; 
}; 

struct ST2{ 
    int t1; 
    double h2; 
}; 


int main() 
{ 
    ST st; 
    ST2 st2; 
    st.t1 = 1.1; 
    st.t2 = 0; 
    st.t3 = 3.3; 
    FUNC(st, t1); 
    FUNC(st, t2); 
    FUNC(st, t3); 
    FUNC(st2, h2); 
} 

Answer 1

Я не думаю, что вы можете сделать что-нибудь с этим точным синтаксисом. Но вы можете получить что-то близкое с указателями членов и шаблона функции:

template <typename T, typename Q> 
void print(T& var, Q T::* mem) 
{ 
    cout << var.*mem << endl; 
} 

Использование:

print(st, &ST::t1); 
print(st, &ST::t2); 
print(st2, &ST2::h2); 

_{Обратите внимание, что st2.h2 не инициализируется в вашем примере, так что ваш код имеет неопределенное поведение.}

Answer 2

Короткий ответ: Нет. Но зачем вы хотите? Что такого особенного в этом ( переменная класса , участник ) обозначение? Вы, очевидно, можете написать функцию, которая принимает st.t1 вместо st, t1 - почему вы пытаетесь избежать этого?

Длинный ответ: Не полезно. t1 не входит в область, в которую вы звоните FUNC(st, t1) ... текущий макрос заменяет его st.t1, который можно найти в текущей области. Если вы действительно действительно desparately хотел взломать что-то, вы должны были бы поставить какой-то из t1, t2, t3, h2 и т.д. объектов в области, которые могут быть переданы функции и каким-то образом закодированы, какое поле должно быть доступно. Наличие локальных t1 и других ссылок на переменные-члены является очевидным выбором. Это было бы довольно неудобно, многословно и подвержено ошибкам, хотя: настройка всех этих дополнительных переменных только для поддержки этой косвенности.