C++ 模板，vector.size 用于默认参数定义答案

【问题标题】：C++ templates, vector.size used in default parameter definitoinC++ 模板，vector.size 用于默认参数定义
【发布时间】：2012-02-10 11:52:24
【问题描述】：

有一个结构TA

template <typename T>
struct TA
{
    typedef std::vector <T> Type;
};

和 test() 函数具有 TA 类型的默认参数。

template <typename T>
void test ( typename TA<T>::Type a1, 
            typename TA<T>::Type a2 = typename TA<T>::Type(a1.size()) )
{}

是否可以在默认参数a2定义中使用a1.size()？

int main()
{
    TA <double> ::Type a1;
    test<double>(a1);
}

【问题讨论】：

C/C++ default argument set as a previous argument 的可能重复项

标签： c++ templates parameters default definition

【解决方案1】：

是否可以在默认参数a2定义中使用a1.size()？

没有。标准是禁止的。不能使用函数参数来设置其他参数的默认值。

§8.3.6/9 (C++03) 明确表示，

每个默认参数都被评估调用函数的时间。 订单函数参数的评估是未指定。 因此，参数的函数不得用于默认参数表达式，即使他们没有被评估。

所以解决方法是：使用重载：

template <typename T>
void test(typename TAs<T>::Type a)
{
    test(a, typename TA<T>::Type(a.size()));
}

【讨论】：

【解决方案2】：

没有。一般来说，函数参数不能在函数体之外使用，特别是不能在另一个参数的默认值中使用。

你可以通过重载得到同样的效果：

template <typename T>
void test ( typename TAs<T>::Type a1, typename TA<T>::Type a2);

template <typename T>
void test ( typename TAs<T>::Type a1)
{
    test(a1, typename TA<T>::Type(a1.size()));
}

【讨论】：