模板之小试牛刀---我有点明白为什么这么多人骂c++了(续，c++图灵完备最小集)

c++图灵完备最小集（一个完整的闭包）:Visual C++ 6.0支持的那一部分模板功能........也就是从标准模板功能中剔出偏特化部分就图灵完备了。想看证明的给我留言。

 

大家说是微软的设计人员是天才呢，还是c++的标准委员会是天才呢？说不定疯子的集合才能造就图灵的完备.......

 

上一篇不是用偏特化来 show了一下算素数吗？现在我就来现身说法，如何不用偏特化实现和上一篇代码中完全一样的功能。

 

图灵完备，不用偏特化，可以在vc6中编译..............吼吼。只有偏执狂才能生存。

 

好了不说了，上大菜。

#include <iostream> using namespace std; //enum {stop_tag = (size_t)-1}; //Some compiler will crash so be careful! Warning comes if size_t is not used! static const size_t stop_tag = -1; //Try the one above if your compiler doesn't support static const. /* Binary search between [M1,M2]*/ template<size_t N, size_t M1 , size_t M2 > //Assert M1<=M2<=N struct sqrt_check { enum {middle = (M1 + M2)/2}; enum {end = M1 * M1 == N || M2 * M2 == N