constexprはランタイム時にも呼び出しできるから、引数の値をテンプレート引数に渡すことは出来ない件(´；ω；｀)

str.cpp

#include <type_traits>
#include <iostream>

extern void *enabler;

// 文字のリスト
template<char H, typename T>
struct cons {};
struct  nil {};

template<size_t N, size_t I = 0
, typename std::enable_if<I == N>::type *& = enabler>
constexpr auto make_str(char const(&a)[N]) -> nil;

template<size_t N, size_t I = 0
, typename std::enable_if<I != N>::type *& = enabler>
constexpr auto make_str(char const(&a)[N])
  -> cons<a[I],decltype(make_str<N,I+1>(a))>; // これはNG...

int main()
{
	typedef decltype(make_str("unko")) str; // これがやりたかったのだけど
	auto &info = typeid(str);
	std::cerr << info.name() << std::endl;
	return 0;
}