fork download
copy 
  1. #include <iostream>
  2.  
  3. class A{};
  4. class B : A{};
  5. class C{};
  6.  
  7. template <typename T>
  8. void f (T t) {
  9.     static_assert (
  10.         std::is_same<T, A>::value || std::is_base_of<A, T>::value, 
  11.         "Type must be either A or derived from A."
  12.     );
  13.  
  14.     std::cout << "Yay";
  15. }
  16.  
  17. int main() {
  18.     A a;
  19.     B b;
  20.     C c;
  21.     f(c);
  22. }
Compilation error #stdin compilation error #stdout 0s 0KB
comments (?)
stdin
copy 
Standard input is empty
compilation info 
prog.cpp: In function 'void f(T) [with T = C]':
prog.cpp:21:8:   instantiated from here
prog.cpp:9:5: error: static assertion failed: "Type must be either A or derived from A."
stdout
copy 
Standard output is empty
https://ideone.com/o7Vmg
language:
C++14 (gcc 8.3)
created:
11 years ago
visibility:
public

Share or Embed source code

Discover > Sphere Engine API

The brand new service which powers Ideone!

Discover > IDE Widget

Widget for compiling and running the source code in a web browser!