Question

使用默认参数值直接生成如下的整数序列会导致硬错误（编译器 clang-3.6 ）：

#include <iostream>
#include <utility>

#include <cstdlib>

template< std::size_t M, std::size_t N > // say M - arity, N - number of types
struct test
{

    template< std::size_t ...i >
    void
    operator () (std::index_sequence< i... > = std::make_index_sequence< M >{}) const
    {
        std::size_t indices[M];
        for (std::size_t & m : indices) {
            m = 0;
        }
        for (;;) {
            (std::cout << ... << indices[i]) << std::endl;
            std::size_t m = 0;
            for (;;) {
                std::size_t & n = indices[m];
                ++n;
                if (n != N) {
                    break;
                }        
                n = 0; 
                if (++m == M) {
                    return;
                }
            }
        }
    }

};

int
main()
{
#if 0
    test< 3, 3 >{}(); // hard error
#else
    test< 3, 3 >{}(std::make_index_sequence< 3 >{}); // ugly workaround
#endif
    return EXIT_SUCCESS;
}

看起来很奇怪，因为简单的替换可以按预期工作。

为什么会这样？为什么默认参数不能在上面的情况下分配，但显式赋值有效吗？

将const &或&&附加到参数类型不会做任何事情。

Answer 1

模板参数不能从默认参数中推导出来。这就是我们通常在构建序列之前委托给辅助函数的原因：

void operator()() const {
    helper(std::make_index_sequence<M>{});
}

template<std::size_t... i>
void helper(std::index_sequence<i...>) const;

integer_sequence和默认参数值

1 个答案: