可变参数函数模板中的歧义

时间:2015-06-03 14:53:17

标签: c++ templates c++11 variadic-templates

我最近开始尝试各种模板技巧。在这种情况下,我尝试使用参数包实现一个包含由可变参数模板提供的数字序列的类。

但是,我遇到了一些在我使用的编译器上出现的问题( Intel C ++ 14 ),但在其他问题上,例如 CLang 海湾合作委员会。因此,我对哪个编译器更加困惑,更多关于点"在解释标准时。

这是我的代码:

#include <iostream>

using namespace std;

template< size_t... Sequence >
class CSequence
{ 
    public:
        CSequence()
        {
            this->generate< Sequence... >();
            this->out();
        }

    private:
        // Recursion end
        template< size_t N >
        void generate(size_t sz)
        {
            // Create array
            this->m_Array = new size_t[sz+1];

            this->m_Len = sz+1;

            this->m_Array[sz] = N;
        }

        // Recursion segment
        template< size_t N, size_t... Ns >
        void generate(size_t sz)
        {
            generate<Ns...>(sz+1);

            this->m_Array[sz] = N;
        }

        // Recursion start
        template< size_t... Ns >
        void generate()
        {
            generate<Ns...>(0);
        }         

        void out()
        {
            for(int i = 0; i < this->m_Len; i++)
            {
                std::cout << this->m_Array[i] << " ";
            }

            std::cout << std::endl;
        }

    private:
        size_t*     m_Array;
        size_t      m_Len;
};

int main()
{
    CSequence< 1, 2, 3, 4, 5, 6, 7, 8 > a;
   std::getchar();
}

使用 Intel C ++ 14 编译好我的结果并产生我期望的结果:

1 2 3 4 5 6 7 8 

但是在CLang和GCC的最新版本上,它无法编译:

现在,我实际上可以理解失败的原因:由于参数包可以包含零元素,因此示例性调用

generate< 8 >( size_t );

可以解决为

generate< N = 8, Ns = <> > ( size_t )

generate< N = 8 > ( size_t )

因此导致无法解决的歧义。但事实上,它编译在我的最后并实际上给出了预期的结果让我想知道:

  1. 哪个编译器是&#34;对&#34;?显然英特尔C ++ 与CLang或GCC相比做出了一些额外的决定。这是&#34;非法&#34;关于标准?或者GCC / CLang缺乏?
  2. 有没有办法规避这种行为?
  3. 请注意,这段代码应被视为某种实验,因此我对这段特定代码的替代策略和修复都很满意。

2 个答案:

答案 0 :(得分:2)

Clang和GCC是正确的,因为参数包可以包含零元素,并且没有为这种情况定义部分排序,因此调用是不明确的。

解决此问题的最简单方法是使递归案例采用额外的模板参数。这样,电话就完全明确了:

// Recursion segment
template< size_t N1, size_t N2, size_t... Ns >
//              extra param ^^
void generate(size_t sz)
{
    generate<N2,Ns...>(sz+1);
    //add N2 ^^

    this->m_Array[sz] = N1;
}

答案 1 :(得分:2)

这根本不需要递归实现。

template< size_t... Ns >
void generate()
{
    m_Len = sizeof...(Ns);
    m_Array = new size_t[m_Len] { Ns... };
}

您还可以省去动态分配并使m_Array成为一个实际数组,并使用NSDMI对其进行初始化:

size_t m_Array[sizeof...(Sequence)] = {Sequence... };