C++模板函数调用报错：无匹配的rapidjson转std::array实例

转换函数实现 #

namespace jsonutils
{
    template <typename T, int size> 
    inline std::array<T, size> toArray(
        const rapidjson::GenericArray<false, rapidjson::Value>* value
    )
    {
        std::array<T, size> result;
        for (rapidjson::SizeType i = 0; i < value.Size(); i++)
        {
            result[i] = value[i];
        }
        return result;
    }
}

调用代码 #

const rapidjson::GenericArray<false, rapidjson::Value>* bNode = 
    &node["b"].GetArray();
int size = bNode->Size();
std::array<int, 3> b = jsonutils::toArray<int, size>(bNode);

编译错误信息 #

• E0304：不存在与参数列表匹配的函数模板"jsonutils::toArray"实例
  • 参数类型为：(const rapidjson::GenericArray<false, rapidjson::Value>*)
• C2672："jsonutils::toArray": 未找到匹配的重载函数

问题原因分析 #

1. 模板参数size必须是编译期常量
   调用时传入的size是运行时通过bNode->Size()获取的变量，但C++非类型模板参数要求必须是编译期可确定的常量表达式（如字面量、constexpr变量），运行时变量无法作为模板参数传递，这是核心错误。

2. 函数内部指针访问逻辑错误
   函数参数是const rapidjson::GenericArray<...>* value（指针类型），但循环中直接使用value[i]会被解释为访问指针数组的第i个元素，而非目标GenericArray的元素。正确的访问方式应为先解引用指针：(*value)[i]。

3. 数组大小不匹配的风险
   函数循环次数依赖JSON数组的实际大小，但std::array的大小由模板参数size固定。如果两者不一致，会导致未初始化元素（JSON数组更小）或数组越界（JSON数组更大）。

修正方案 #

修正后的转换函数 #

namespace jsonutils
{
    template <typename T, int size> 
    inline std::array<T, size> toArray(
        const rapidjson::GenericArray<false, rapidjson::Value>* value
    )
    {
        std::array<T, size> result;
        // 空指针检查与大小匹配校验
        if (value == nullptr || value->Size() != size) {
            throw std::invalid_argument("Invalid JSON array or size mismatch");
        }
        for (rapidjson::SizeType i = 0; i < size; ++i)
        {
            // 先解引用指针，再访问数组元素；显式调用Get<T>()确保类型转换安全
            result[i] = (*value)[i].template Get<T>();
        }
        return result;
    }
}

正确调用方式 #

若JSON数组大小固定，直接传入编译期常量作为模板参数：

const rapidjson::GenericArray<false, rapidjson::Value>* bNode = &node["b"].GetArray();
// 使用字面量3作为模板参数，而非运行时变量
std::array<int, 3> b = jsonutils::toArray<int, 3>(bNode);

可选优化：使用引用替代指针 #

将函数参数改为引用，减少指针操作的出错概率：

namespace jsonutils
{
    template <typename T, int size> 
    inline std::array<T, size> toArray(
        const rapidjson::GenericArray<false, rapidjson::Value>& value
    )
    {
        std::array<T, size> result;
        if (value.Size() != size) {
            throw std::invalid_argument("Size mismatch between JSON array and std::array");
        }
        for (rapidjson::SizeType i = 0; i < size; ++i)
        {
            result[i] = value[i].template Get<T>();
        }
        return result;
    }
}

调用时直接传递引用：

auto& bNode = node["b"].GetArray();
std::array<int, 3> b = jsonutils::toArray<int, 3>(bNode);

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