(Untitled)

[othojee_mesto]

//file: b.h

template
struct B
{
T obj;
void a()
{
obj.A::foo();
}
};

//file: main.cpp

#include "b.h"

struct A
{
void foo() {}
};

struct D: public A {};

B x;

int main()
{
x.a();
return 0;
}

In member function ‘void B::a()’:
error: ‘A’ has not been declared
A - один из родительских классов

Comments

[r0land]

template
inline
void B::a()
{
typeof(obj.A)::foo();
};

[othojee_mesto]

где вы в C++ typeof отыскали???

[r0land]

http://gcc.gnu.org/onlinedocs/gcc/Typeof.html

[othojee_mesto]

нет в C++ такого слова
и в C, насколько я знаю, тоже нет
ваша ссылка указывает на нестандартное расширение языка - я таким не пользуюсь и вам не советую

[caracrist]

obj.T::A::foo();

[othojee_mesto]

после инстанциирования с типом D

In member function ‘void B::a() [with T = D]’:
error: no type named ‘A’ in ‘struct D’

[qehgt]

является ли 'A' базовым классом для 'D'?

[othojee_mesto]

да
это не важно в этом случае - приведенная запись подразумевает что A - внутренний класс темплетного параметра - а оно как раз наоборот

[qehgt]

Не, идея не понятна.

И что это за запись:
template
struct B

Это парсер скобки съел, или так и надо?

[othojee_mesto]

съел

[qehgt]

Я не телепат, что именно вы сделать хотите, мне непонятно.

[othojee_mesto]

A - базовый класс темплетного параметра
такое нужно при множественном наследовании при совпадении имен в предках

[conceptacid]

а зачем это вообще? можно контекст пожалуйста?

[othojee_mesto]

класс, подствляемый в темплетный параметр, может иметь множественное наследование с мемберами, имеюшими одинаковые имена в родителях