级联继承中返回当前继承层类型的对象

<pre name="code" class="plain">

// cascadederivationreturntypeofcurrentderivationlevel.cpp : Defines the entry point for the console application.
//

#include "stdafx.h"

template <class T>
class A
{
public:
// 以下代码C2355
// 1 try
//static auto Empty()->decltype(*this) // C2355 decltype(*this) 在这个类中还没有定义
//{
//	this->typeid l; // C2355 decltype(*this) 在这个类中还没有定义
//	return l;
//}
// 2 try
//static auto Empty()->decltype(*this) // C2355 decltype(*this) 在这个类中还没有定义
//{
//	decltype(*this) l; // C2355 decltype(*this) 在这个类中还没有定义
//	return l;
//}
// 3 try
//auto Empty()->decltype(*this) // C2355 decltype(*this) 在这个类中还没有定义
//{
//	return *this;
//}
// 以下代码在某种程度上可以运行
//template <class T>
//static auto Empty()->decltype(*this)
//{
//	this->typeid<T> l;
//	return l;
//}
// 原因：虽然 this 能够被运行时推断因此可以被认为已知，但是 this 的类型不能够被运行时推断因此不能够被认为已知，所以 this （的类型）被认为没有定义

// 以下代码可行
// 1 okay
//template <class T> // 函数模板
//static c Empty()
//{
//	T l;
//	return l;
//}
};

template <class T>
class B : public A<T>
{
public:
// 以下代码可行
// 2 okay
static B<T> Empty()
{
B<T> l;
return l;
}
};

int _tmain(int argc, _TCHAR* argv[])
{
// 以下代码C2355
// 1&2 try
//B<int> b = B<int>::Empty();
// 3 try
//B<int> type;
//B<int> b = type.Empty();

// 以下代码可行
// 1 okay
//B<int> b = B<int>::Empty<B<int>>();
// 2 okay
B<int> b = B<int>::Empty();

return 0;
}