利用SFINAE实现is_base_of (初步)

####利用SFINAE实现is_base_of (初步)

SFINAE 意为 Substitution Failure Is Not An Error , 是模板编程中一个很重要的概念。 翻译成中文来说:匹配失败并不是一种错误

/************************************************************/
/*                  is_baseof 初步实现                       */
/*                    Author: Suzhen                        */
/************************************************************/

#include "stdafx.h"

using namespace std;

class some {
};
class some_d : public some {
};

template<typename B,typename D>
 struct is_base_of_self final {
    private:
	template <D *d = 0 , typename Any = decltype((B)(*d))>
	static char cnv_test(int v);
	template <typename Any>
	static int cnv_test(Any v);
    public:
	static const bool value = sizeof(cnv_test(0)) == 1;
};

 template<typename T>
 struct is_base_of_self <T, T> final {
	 static const bool value = false;
 };

int main()
{
	//测试语句
	cout << is_base_of_self<some, some_d>::value << endl; // true
	cout << is_base_of_self<some, some>::value << endl;   // false
	cout << is_base_of_self<float, double>::value << endl;// false
	system("pause");
	return EXIT_SUCCESS;
}

###写在最后

看了网上很多代码，其实并不容易很好的去理解 SFINAE。苦思冥想了很久，查阅很多Cxx文档，才决定用这种方式实现。当然了，这仅仅是为了表达 SFINAE 的思想，并不能涵盖所有的情况。这个轮子不值得用，还是乖乖的用std::is_base_of吧。

转载于:https://my.oschina.net/SuzhenProgram/blog/524464