fork(1) download

copy

#include <iostream>
using namespace std;
 
template<size_t aa, size_t bb>
class C {
public:
	C() {
	    static_assert(aa > 0, "aa must be > 0");
    	static_assert(bb > 0, "bb must be > 0");
	    static_assert((aa + bb) <= 10, "aa + bb must be <= 10");
	}
};
 
int main() {
	C<1, 2> c1; // OK
	C<5, 6> c2; // error
	return 0;
}

prog.cpp: In instantiation of ‘C<aa, bb>::C() [with long unsigned int aa = 5; long unsigned int bb = 6]’:
prog.cpp:16:10:   required from here
prog.cpp:10:30: error: static assertion failed: aa + bb must be <= 10
      static_assert((aa + bb) <= 10, "aa + bb must be <= 10");
                    ~~~~~~~~~~^~~~~

Standard output is empty