C++：解决可变参数初始化size_t类型vector的编译错误

实现了一个基于vector存储数据的模板类Container，存储string或int类型数据时可正常编译运行，但存储size_t类型时出现编译错误——编译器将传入的字面量识别为int而非size_t，代码示例如下：

#include <iostream>
#include <vector>

template <class ValueType>
class Container {
public:
    template <typename... ValueTypes>
    Container(ValueTypes&&... values) :
        currentIndex(0),
        values{ std::forward<ValueTypes>(values)... }
    {}

    const ValueType operator()() const {
        return values[currentIndex];
    }

protected:
    size_t currentIndex;
    std::vector<ValueType> values;
};

int main() {
    Container<std::string> container1("10", "20", "30");    // ok
    Container<int> container2(10, 20, 30);                  // ok
    Container<size_t> container3(10, 20, 30);               // compile error, assumed ints!
}

解决方案 #

1. 显式指定字面量为size_t类型 #

C++支持用zu后缀表示size_t类型的整数字面量，直接修改调用代码即可：

Container<size_t> container3(10zu, 20zu, 30zu);

也可以用static_cast显式转换：

Container<size_t> container3(static_cast<size_t>(10), static_cast<size_t>(20), static_cast<size_t>(30));

2. 修改构造函数，强制转换参数为目标类型 #

调整构造函数的初始化逻辑，将每个参数转换为ValueType后再存入vector，这样即使传入int也会被隐式转换为size_t：

template <typename... ValueTypes>
Container(ValueTypes&&... values) :
    currentIndex(0),
    values{ static_cast<ValueType>(std::forward<ValueTypes>(values))... }
{}

修改后，原来的Container<size_t> container3(10,20,30)就能正常编译。

3. 用SFINAE约束参数类型 #

通过SFINAE机制限制构造函数的参数必须可转换为ValueType，既保证类型安全，又允许合法的隐式转换：

#include <type_traits> // 需要包含头文件

template <class ValueType>
class Container {
public:
    template <typename... ValueTypes,
              std::enable_if_t<(... && std::is_convertible_v<ValueTypes, ValueType>), bool> = true>
    Container(ValueTypes&&... values) :
        currentIndex(0),
        values{ std::forward<ValueTypes>(values)... }
    {}

    // 其他成员不变
};

错误原因 #

C++中整数字面量默认类型为int，当构造函数的模板参数推导为int后，vector<size_t>的列表初始化会严格匹配类型，而int到size_t的隐式转换在这种语境下无法通过编译器的严格检查，导致编译失败。

内容的提问来源于stack exchange，提问作者Miroslav Krajcir