如何在模板基类中使用派生类的嵌套类

[思危]

代码如下

template <typename T>
class X
{
public:
	static void fun(const typename T::Z &z){}
};

class Y : public X<Y>
{
public:
	class Z{};
};

int _tmain(int argc, _TCHAR* argv[])
{
	Y y;
	
	return 0;
}

编译提示错误： error C2039: “Z”: 不是“Y”的成员

[ztenv]

做成非嵌套的或放在基类中，基类用派生类的东西本来设计就有问题

[king191923157]

又是循环嵌套了 class Y : public X<Y> ＝》class Y

[思危]

引用 3 楼 king191923157 的回复:

又是循环嵌套了 class Y : public X<Y> ＝》class Y

ATL里都是这种继承方式

[taodm]

换一个编译器看报啥错。

[iyomumx]

很麻烦的，可以利用static_assert来做编译期检查

template <typename Z>
    static void fun(const Z &z)
    {
        static_assert(std::is_same<Z, typename T::Z>::value, "参数应为 T::Z 类型");
        //...
    }

定义class Y : public X<Y>时Y还是不完整类型，所以在实例化X<Y>时出错。利用static_assert将检查延后，但编写时稍有不便。

[思危]

现在csdn人气不旺啊