元编程_basic

1.

#include <iostream>
#define C11 1

template<int N>
class Fac
{
public:
#if C95
    //enum { value = N * Fac<N-1>::value };
#endif
#if C11
    static inline constexpr auto value = N * Fac<N - 1>::value;
#endif
};


template<>
class Fac<0>
{
public:
#if C95
    //enum { value = 1 };
#endif
#if C11
    static inline constexpr auto value = 1;
#endif
};

//---- <sqrt  ----
template<int N, int LO = 1, int HI = N>
struct Sqrt {
    static constexpr auto mid = (LO + HI + 1) / 2;
    static constexpr auto value =
        (N < mid * mid) ?
        Sqrt<N, LO, mid - 1>::value
        :
        Sqrt<N, mid, HI>::value;
};

template<int N, int M>
struct Sqrt<N, M, M> { // 终止条件为LO和HI相等
    static constexpr auto value = M;
};

//---- sqrt/> ----

int main()
{
    std::cout << Fac<5>  ::value << '\n';
    std::cout << Sqrt<16>::value << '\n';
    return 0;
}

2.

 

3.

3.1

　　constexpr的第一个作用：给编译器足够的信心在编译期去做被constexpr修饰的表达式的优化。
　　constexpr还有另外一个特性，虽然它本身的作用之一就是希望程序员能给编译器做优化的信心，但它却猜到了自己可能会被程序员欺骗，而编译器并不会对此“恼羞成怒”中止编译.

3.2

　《C++ Templates 2nd》

       other:在工程中的使用场景有限，毕竟即使能用上，也要考虑代码的可读性和维护性，否则反而会被当作炫技。最实用的场景，应该是用来写库

4.