gcc/testsuite/g++.dg/cpp1y/udlit-char-template-sfinae.C

   1 // { dg-do run { target c++14 } }
   2
   3 #include <cassert>
   4
   5 template<bool, typename _Tp = void>struct enable_if {};
   6 template<typename _Tp> struct enable_if<true, _Tp> { typedef _Tp type; };
   7
   8
   9 template<typename CharT, CharT... String>
  10 typename enable_if<sizeof...(String) == 6, int>::type operator"" _script () {
  11   return 5;
  12 }
  13
  14 template<typename CharT, CharT... String>
  15 typename enable_if<sizeof...(String) == 3, int>::type operator"" _script () {
  16   return 3;
  17 }
  18
  19 template<typename CharT, CharT... String>
  20 typename enable_if<sizeof...(String) != 3 && sizeof...(String) != 6, int>::type operator"" _script () {
  21   return 1;
  22 }
  23
  24 int main ()
  25 {
  26   assert ("hello!"_script == 5);
  27   assert (u8"hi!"_script == 3);
  28   assert ("hey!"_script == 1);
  29 }