C++ 基础（九）函数模板

template <typename T>
T larger(T a, T b)
{
    return a > b ? a : b;  
}

template <typename T>
const T& larger (const T& a, const T& b)
{
     return a > b ? a : b;
}

template <>
int * larger<int *> (int *a, int *b)
{
      return *a > *b ? a : b;
}

template <typename T1, typename T2>
??? larger(T1, T2)  // 实际定义时返回值需要再定义模板参数，但编译器仍然无法推断出返回值类型
{
    return a > b ? a : b;
}

template <typename TReturn, typename T1, typename T2>
TReturn larger(T1, T2)  // 实际定义时返回值需要再定义模板参数，但编译器仍然无法推断出返回值类型
{
    return a > b ? a : b;
}

// decltype(拖尾类型)在函数模板中的应用

// step 1:编译失败，编译器从左往右处理模板，未能提前知道a和b的类型
template <typename T1, typename T2>
decltype(a>b?a:b) larger (T1 a, T2 b)
{
    return a > b ? a : b;
}

// step 2: 拖尾类型，auto告诉编译器需要推断返回值类型
template <typename T1, typename T2>
auto larger (T1 a, T2 b)  -> decltype (a > b ? a : b)
{
    return a > b ? a : b;
}

// step 3: 在模板内部使用decltype关键字
template <typename T1, typename T2>
auto vector_product(const std::vector<T1>& data1, const std::vector<T2>& data2)
{
    const auto count = std::min(data1.size(), data2.size());

    decltype(data1[0] * data2[0]) sum {};
    for(size_t i {}; i < count; ++i)
        sum += data1[i] * data2[i];

    return sum;
}

　　　　template <typename T1, typename T2>
　　　　decltype(auto) larger(T1 a, T2 b)
　　　　{
    　　　　return a > b ? a : b;
　　　　}

template <typename T, int lower, int upper>
bool is_in_range(const T& value)
{
    return (value <= upper) && (value >= lower);
}

//调用方式
std::cout << is_in_range<double, 0, 500> (value);

// 优化写法
template <int lower, int upper, typename T>
bool is_in_range(const T& value)
{
    return (value <= upper) && (value >= lower);
}

// 调用如下，这样编译器可以推断实参类型
std::cout << is_in_range<0, 500> (value);

template <typename T, size_t N>
T average(const T (&array) [N])
{
    T sum {};
    for (size_t i {}; i < N; i++)
        sum += array[i];
    return sum/N;
}