0

我正在尝试使用可变参数模板类型包创建一个结构模板，它可以扣除传入的所有类型的大小之和。

下面是一个简化的示例，在实际环境中，计算的大小用于创建更多的成员对象。

template <typename... Types>
struct OverallSize
{
    template <typename FirstType, typename... NextTypes>
    static constexpr size_t sizesum() { return sizeof (FirstType) + sizesum<NextTypes...>(); }
    template <typename LastType>
    static constexpr size_t sizesum() { return sizeof (LastType); }

    static constexpr size_t size = sizesum<Types...>();
};

// Should work e.g. like this
auto s = OverallSize<int, float, char>::size; // s will be 9 on x86-64

当涉及到参数列表时，我已经习惯了这种递归参数解包方法，并假设这适用于无参数函数和显式模板规范。但是使用 clang 编译时出现以下错误

Call to 'sizesum' is ambiguous
...
Candidate function [with FirstType = unsigned long, NextTypes = <>]
Candidate function [with LastType = unsigned long]

所以似乎最后一次递归迭代在这里不起作用——不知道为什么编译器不简单地选择最明显的选择：只有一种模板类型的那个——就像如果有一个实际的模板参数就会发生一样传递给函数。

那么，我该怎么做才能使这个编译和工作按需要呢？

4

1 回答 1

1

对于 C++14，您可以使用 SFINAE：

template <
    typename FirstType, 
    typename... NextTypes, 
    std::enable_if_t<sizeof...(NextTypes) >= 1>* = nullptr >
static constexpr size_t sizesum() {
    return sizeof (FirstType) + sizesum<NextTypes...>(); 
}

仅当参数包的大小 >= 1 时才会考虑此模板。

演示

于 2020-04-22T16:40:39.117 回答