typedef'd тип не виден как возвращаемый тип функции-члена - PullRequest
Новая
       4

typedef'd тип не виден как возвращаемый тип функции-члена

3 голосов
/ 05 августа 2011

Эта программа не может быть скомпилирована (используется gcc-4.5).Сообщение об ошибке гласит:

error: myType_t не называет тип 

  1 class abc{
  2 //typedef int myType_t;
  3 
  4   public:
  5 typedef int myType_t;
  6 
  7     abc();
  8     myType_t fun1();
  9 };
 10 
 11 myType_t abc::fun1()
 12 {
 13   return 0;
 14 }
 15 
 16 int main()
 17 {
 18   abc abc1;
 19   return 0;
 20 }

Теперь объявление typedef int myType_t; вне класса abc делает эту компиляцию.Я путаюсь с тем, что является проблемой, если тип возвращаемого значения функции-члена внутри typedef'd.

Ответы [ 3 ]

9 голосов
/ 05 августа 2011

Из стандарта C ++:

9,9 Имена вложенных типов [class.nested.type]

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

class X {
public :
   typedef int I;
   class Y { /  . . .  / };
   I a;
};

I b;            // error
Y c;            // error
X::Y d;         // OK
X::I e;         // OK

Так что вам нужно получить к нему доступ: 

abc::myType_t abc::fun1()
5 голосов
/ 05 августа 2011 
myType_t abc::fun1()

Поскольку myType_t является вложенным типом, вы должны написать это: 

  abc::myType_t  abc::fun1()
//^^^^^^^^^^^^^note this!

abc:: сообщает компилятору, что myType_t определено внутри класса abc. Вы пишете abc::myType_t точно так же, как пишете abc::fun1(). Но внутри класса вам не нужно писать abc::, ни для myType_t, ни для fun1().

3 голосов
/ 05 августа 2011

Это из-за причуды в синтаксисе C ++.

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

ReturnType
ClassName
::             // only here do we enter the scope 'ClassName'
FunctionName
(
  ArgumentType0,
  ArgumentType1,
  ...
) {
}

Эту проблему можно преодолеть с помощью синтаксиса позднего типа возврата C ++ 0x 

auto
ClassName
::
FunctionName
(
  ArgumentType0,
  ArgumentType1,
  ...
)
->
ReturnType
{
}

Поскольку он откладывает объявление возвращаемого типа достаточно долго, чтобы войти в область действия (это также позволяет объявить его на основе аргументов функции, например, используя decltype).

...