启用 C++11 时如何修复“错误数量的模板参数”？

Question

我有一些使用模板的复杂第三方代码。使用 gcc 7.3.0，如果指定了 gcc 标志 -std=gnu++98，则它可以构建，但否则会给出编译错误（即使用 C++11 编译）。我需要修复 C++11 编译。代码如下（抱歉不完整，头文件比较复杂）：

#define CPP11 (__cplusplus > 199711L)

namespace csl
{
namespace PostExec
{

struct Complement
{
    static int64_t Execute(int64_t v)
    {
        return ~v;
    }
};

template<size_t bitWidth, bool maskOutput>
struct Mask
{
    static int64_t Execute(int64_t v)
    {
        return 0;
    }
};

#if CPP11
template<typename P, typename... PS>
struct Compound
{
    template<typename T>
    static T&& Execute(T&& v)
    {
        if (sizeof...(PS) > 0)
        {
            return Compound<PS...>::Execute(P::Execute(std::forward<T>(v)));    <<<< COMPILER ERROR HERE
        }
        return P::Execute(std::forward<T>(v));
    }
};
#else
template<typename P1, typename P2>
struct Compound
{
    static int64_t Execute(int64_t v)
    {
        return P1::Execute(P2::Execute(v));
    }
};
#endif

}
}

using namespace csl;
class CModel
{
public:

    void f1();

private:
    void Execute() { }

    static const size_t PAGE_COUNT = 1;

    static size_t CurrentPage;
    static CPage<1, 0> State[PAGE_COUNT];
};

void CModel::f1()
{
    int64_t n[5];
    StepLogicalNXOr<1, false>::Execute(Page.N[1], n[0], n[1]);
}

size_t CModel::CurrentPage = 0;

CPage <1919, 0> CModel::State[PAGE_COUNT] = {
    CPage <1, 0>()    
};

编译器错误（定义 CPP11 时）为：

<snip>: error: wrong number of template arguments (0, should be at least 1)
  return Compound<PS...>::Execute(P::Execute(std::forward<T>(v)));
         ~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
<snip>: note: provided for ‘template<class P, class ... PS> struct csl::PostExec::Compound’
struct Compound
       ^~~~~~~~

我知道这很复杂，但如果有人能提供帮助，我将不胜感激。

Answer 1

您尝试过 SFINAE 吗？

我的意思是...（注意：代码未测试）

template<typename T>
static typename std::enable_if<0 != sizeof...(PS), T&&>::type Execute(T&& v)
{ return Compound<PS...>::Execute(P::Execute(std::forward<T>(v))); }


template<typename T>
static typename std::enable_if<0 == sizeof...(PS), T&&>::type Execute(T&& v)
 { return P::Execute(std::forward<T>(v)); }

我的意思是...您的代码无法运行，因为当 sizeof...(PS) == 0 行时

 return Compound<PS...>::Execute(P::Execute(std::forward<T>(v)));

已编译，Compound 需要一个或多个模板参数；不能接受零模板参数。

我知道这条线正在测试中

if (sizeof...(PS) > 0)

但你需要if constexpr

if constexpr (sizeof...(PS) > 0)

在测试为假时避免编译；但不幸的是，if constexpr 只能从 C++17 开始使用。

所以我在 C++11 中看到的唯一解决方案是将方法 Execute() 拆分为两个版本，并根据 sizeof...(PS) 的值启用/禁用第一个或第二个。

Answer 2

Compound<PS...>::Execute(P::Execute(std::forward<T>(v)));

上面调用中的P是问题的原因。 复合模板有 2 个参数，这里只传递 1 个。

我已经在所有给定的约束范围内进行了尝试，我觉得下面的代码应该可以防止编译器错误。

template<typename P, typename... PS>
struct Compound
{
    template<typename T>
    static T&& Execute(T&& v)
    {
        if (sizeof...(PS) > 0)
        {
            return Compound<P,PS...>::Execute(P::Execute(std::forward<T>(v)));   
        }
        return P::Execute(std::forward<T>(v));
    }
};

希望对你有帮助。