// 템플릿 메타프로그래밍
template <int T>
struct Fibonacci
{
    enum { value = (Fibonacci<T-1>::value + Fibonacci<T-2>::value) };
}

// 이 템플릿 메타프로그래밍에는 조건문이 없다.
// 그 대신 구조체 오버로딩 같은 방법을 사용하여 
// 0, 1, 2와 같은 특수 케이스를 처리한다.

template <>
struct Fibonacci<0>
{
    enum { value =  1 };
};

template <>
struct Fibonacci<1>
{
    enum { value = 1 };
}

template <>
struct Fibonacci<2>
{
    enum { value = 1 };
}

// Main
int x = Fibonacci<45>::value;
cout << x << endl;

constexpr unsigend int fibonacci(unsigned int i)
{
    return (i <= 1u) ? i : (fibonacci(i-1) + fibonacci(i-2));
}

constexpr int Factorial(int n)
{
    return n <= 1 ? 1 : n * Factorial(n-1);
}

// Main
int value = 3;
int result1 = Factorial(value);             // Ok
constexpr int result2 = Factorial(value);       
// Compile Error : value가 변수이기에 컴파일러 입장에서는 값을 정해주지 못한다.
constexpr int result3 = Factorial(3);           // Ok

const int num = 1;          // Ok
num = 10;                   // Comfile Error

constexpr int num1 = 2;     // Ok
num1 = 10;                  // Comfile Error

int num2 = 3;
constexpr int num3 = num2;  // Comfile Error

const int num4 = 4;
constexpr int num5 = num4;  // Ok

constexpr int num6 = 6;  // Ok
constexpr int num7 = num6;  // Ok

constexpr int Fibonacci(int i) {}       // Ok
int Fibonacci(int i) {} const           // Comfile Error : 저 위치에 const있다는 자체가 컴파일 에러임

constexpr int Champion::GetWinCount()   // Ok (C++14)
{
    mWinCount = 10;
    return mWinCount;
}

constexpr int Champion::GetWinCount() const
{
    mWinCount = 10;                     // Comfile Error
    return mWinCount;
}

class FixedArray
{
public:
    // ...
private:
    enum { MAX = 10 };
    int mArray[MAX];
}

class FixedArray
{
public:
    // ...
private:
    static constexpr int MAX = 10;
    int mArray[MAX];
}