Здравствуйте, Дмитро, Вы писали:

Д>Это работает, но если от Array наследовать другой класс тоже с Assert'ом, то компилятор (VC7) выдает ворнинг, мол, Assert<true> уже является предком.

А ты его наследуй приватно:

template<int size>
struct Array : private Assert< (size>0) >
.....