typedef'd type不可见作为成员函数的返回类型

Question

该程序无法编译(使用gcc-4.5).错误消息说:

错误:'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,那么问题是什么.

Answer 1

从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()

Answer 2

这是因为 C++ 语法中的一个怪癖。

因为成员函数的类仅在声明函数本身的名称时才精确，所以在此之前的任何内容都必须完整拼写出来。

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

这可以使用 C++0x 延迟返回类型语法来克服

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

因为它推迟了返回类型的声明足够长的时间以进入作用域（它还允许根据函数的参数来声明它，decltype例如使用）。

Answer 3

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().