template <class UInt,UInt Val=UInt(-1)>
const unsigned BitsOf = (Val>1)? 1+BitsOf<UInt,(Val>>1)> : Val ;

template <typename UInt>
constexpr unsigned BitsOf(UInt A = -1) {
    return A ? 1 + BitsOf(A >> 1) : 0;
}

error: recursive template instantiation exceeded maximum depth

std::numeric_limits<UInt>::digits

template <class UInt> constexpr auto BitsOf = std::numeric_limits<UInt>::digits;

Ш>template <class UInt,UInt Val=UInt(-1)>
Ш>const unsigned BitsOf = (Val>1)? 1+BitsOf<UInt,(Val>>1)> : Val ;

Ш>

template <class T> const unsigned NrOfBits = sizeof(T)*CHAR_BIT;

Ш>>template <class UInt,UInt Val=UInt(-1)>
Ш>>const unsigned BitsOf = (Val>1)? 1+BitsOf<UInt,(Val>>1)> : Val ;

Ш>>

template <class UInt>
constexpr unsigned BitsOfFunc(UInt val)
 {
  return (val>1)? 1+BitsOfFunc<UInt>(val>>1) : val ;
 }

template <class UInt,UInt Val=UInt(-1)>
сonst unsigned BitsOf = BitsOfFunc<UInt>(Val) ;

#include <iostream>
using namespace std;

template<int X> int const num = X==1 ? 0 : 1 + num<X%2 ? X*3+1 : X/2>;
//template<int X> int const ccc = X==0 ? 0 : 1 + ccc<0>; // ошибка: константа ccc<0> явно определена через саму себя
template<int X> int const rec = X==0 ? 0 : 1 + rec<(X ? 0 : 0)>; // поэтому прибегнем к трюку, сделаем вид, что параметр вычисляется
template<int X> int const err = X==0 ? 0 : 1 + err<(X ? X : X)>;

template<int X> int constexpr eee = X==0 ? 0 : 1 + eee<(X ? X : X)>;
template<int X> int const inf = X==0 ? 0 : 1+inf<X-1>;

int n[num<27>];
int r[rec<10>];
//int e[err<10>]; // это не константа времени компиляции, а статическая переменная
//int e[eee<10>]; // зацикливание в constexpr

int main() {
  cout << num<27> << endl; // 111 - честно вычислил рекурсию
  cout << rec<10> << endl; // 1 - честно вычислил рекурсию
  cout << err<10> << endl; // 1 - особенности инициализации статической переменной
//cout << eee<10> << endl; // ошибка: зацикливание в constexpr
//cout << inf<10> << endl; // ошибка: исчерпание глубины рекурсии, inf<-899>
}

template <unsigned S,unsigned X=S>
const unsigned SqRoot = (X>S/X) ? SqRoot<S,(X+S/X)/2> : X ;

template<int X> int const inf = (X==0) ? 0 : (1+inf<X-1>);

// метафункция: тип по номеру
template<class T> struct deftype { using type = T; };
template<int N> struct nth : deftype<unsigned char> {};
template<> struct nth<1> : deftype<unsigned long long> {};
template<> struct nth<2> : deftype<unsigned int> {};
template<> struct nth<3> : deftype<unsigned short> {};
template<int N> using result = typename nth<N>::type;

// константа
template<int N> const auto value = result<N>(0);

template<int N> const auto branch = true ? foo<N>() : bar<N>();
// где выражения foo<N>() и bar<N>() каких то разных, но совместимых типов

template<int N> const auto ice = true ? 0 : ice<(N>0 ? N-1 : 0)>;
const auto crash = ice<1>;

prog.cpp: In instantiation of 'const auto ice<1>':
prog.cpp:16:20:   required from here
prog.cpp:15:28: internal compiler error: in tsubst, at cp/pt.c:12126
 template<int N> const auto ice = true ? 0 : ice<(N>0 ? N-1 : 0)>;
                            ^
0x821bd70 tsubst(tree_node*, tree_node*, int, tree_node*)
    ../../src/gcc/cp/pt.c:12126
0x822793a tsubst_decl
    ../../src/gcc/cp/pt.c:11441
0x821b2be tsubst(tree_node*, tree_node*, int, tree_node*)
    ../../src/gcc/cp/pt.c:11934
0x8225b04 tsubst_copy
    ../../src/gcc/cp/pt.c:13081
0x8217f03 tsubst_copy_and_build(tree_node*, tree_node*, int, tree_node*, bool, bool)
    ../../src/gcc/cp/pt.c:15705
0x8219e48 tsubst_copy_and_build(tree_node*, tree_node*, int, tree_node*, bool, bool)
    ../../src/gcc/cp/pt.c:15369
0x821fde7 tsubst_expr
    ../../src/gcc/cp/pt.c:14530
0x821de87 regenerate_decl_from_template
    ../../src/gcc/cp/pt.c:20022
0x821de87 instantiate_decl(tree_node*, int, bool)
    ../../src/gcc/cp/pt.c:20434
0x824c1a3 mark_used(tree_node*, int)
    ../../src/gcc/cp/decl2.c:5032
0x824c53d mark_used(tree_node*)
    ../../src/gcc/cp/decl2.c:5146
0x82b2e24 finish_id_expression(tree_node*, tree_node*, tree_node*, cp_id_kind*, bool, bool, bool*, bool, bool, bool, bool, char const**, unsigned int)
    ../../src/gcc/cp/semantics.c:3582
0x8267a2f cp_parser_primary_expression
    ../../src/gcc/cp/parser.c:4763
0x8268ab4 cp_parser_postfix_expression
    ../../src/gcc/cp/parser.c:6157
0x826acf0 cp_parser_unary_expression
    ../../src/gcc/cp/parser.c:7438
0x826b7f4 cp_parser_binary_expression
    ../../src/gcc/cp/parser.c:8172
0x826bdbb cp_parser_assignment_expression
    ../../src/gcc/cp/parser.c:8430
0x826c1f7 cp_parser_constant_expression
    ../../src/gcc/cp/parser.c:8676
0x8279d76 cp_parser_init_declarator
    ../../src/gcc/cp/parser.c:17270
0x827b0c0 cp_parser_simple_declaration
    ../../src/gcc/cp/parser.c:11607
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <file:///usr/share/doc/gcc-5/README.Bugs> for instructions.

const int C = false ? C+1 : 0 ;