因为声明 Element m_element[ nArraySize ]; 的时候，Element 的大小必须是编译期常量，抽象类明显不符合要求。

如果多态是必须的，数组也不想放弃，建议考虑下编译期多态，而不是运行期多态，也就是 CRTP。

我去，空格被吞了

C++er 路过，pythonic 的代码是这样么？

```
for num in range( 100000 ):
print( str(num).zfill(6) )
```

敢问有人考虑过用 raspberrypi 或者 bananapi 之类的做家用服务器的么？

你们拍黄片的都会写这么长的一行代码么？我是指最后一行

花一个周末走一遍 [LFS]( http://www.linuxfromscratch.org/lfs/)，然后随便哪个版本你都能搞定了

[upgrade to Sierra]( http://thumbsnap.com/i/D4470STJ.png)

升级基本正常，除了 cuda

[URL=http://thumbsnap.com/D4470STJ][IMG]http://thumbsnap.com/t/D4470STJ.jpg[/IMG][/URL]

page not found

三十多年的修修补补，相关代码怎么也得几十万行吧，能舍得扔掉也真不容易。

But I have been using c++17 for quite a long time......

C++ 可以，Java 不行

{
Student stu{};
//...
}

我的 id 是用密码生成器生成的，看起来奇怪很正常

呃，CPU 是两个 E5-2650

用四台，三台台式机外加一台 RMBP。
配置最好的台式机是这样的
CPU: E5-2650
内存: 128G
硬盘：...
显卡： 四块，Nvidia Tesla K40c + 3 X Nvidia Tesla K20c

自己打果汁或者果酱不行么？

@scinart 啊，上边的回复 at 错了人

@gnaggnoyil 我来说下我的理解吧。不一定正确，只供参考。

1. 在 template definition phase，也就是 two-phase name lookup 的 phase 1，编译器在处理 has_value_type_1<T>::value 和 has_value_type_2<T>::value 的时候，编译器寻找 non-dependent 的模板匹配，这时候 has_value_type_1<T> 和 has_value_type_2<T> 都被理解为从 false_type 里边继承的，因为 template <typename, typename = void> struct has_value_type_1 : false_type {} 不需要依赖任何模板参数。于是函数 template< typename T> bool f_1(T) { return has_value_type_1<T>::value; } 被理解为 template<typename T> bool f_1(T){ return has_value_type_1<T,void>::value; }; ； f_2(T) 也是如此，被理解为 has_value_type_2<T,void>::value;，因为编译器不能得知模板参数 T 的内部，因此后边的两个偏特化 template <typename T> struct has_value_type_1< T, typename type_sink< typename T::value_type >::type > : true_type {}; 和 template <typename T> struct has_value_type_2< T, typename T::value_type > : true_type {}; 都不会被处理。

2. 在 template instantiation phase，也就是 phase 2，编译器为 has_value_type_1<T,void> 寻找合适的匹配，这时候编译器看到了两个偏特化，一个写出来是 template< typename T = A > struct has_value_type_1<A,void>:true_type;，另一个写出来是 template< typename T = A > struct has_value_type_2<A,int>:true_type;。于是头一个被选中，替代 bool f_1(A) 中的那个 has_value_type_1<A,void>，于是为 true_type，而另外一个不变，还是 false type。

如果将主楼代码中的 template <typename> struct type_sink { typedef void type; }; 替换为 template <typename> struct type_sink { typedef int type; }; 那么所有的输出当为 false，因为偏特化时 has_value_type_1 也未被选中。