如何显式特化JsonDocument类的无参模板构造函数？

原问题场景 #

给定如下类定义：

class JsonDocument
{
public:
    using RootType = size_t;
    constexpr static RootType ObjectRoot = 1;
    constexpr static RootType ArrayRoot = 2;

    template<
        RootType T = ObjectRoot,
        std::enable_if<T == ObjectRoot || T == ArrayRoot>
    >
    JsonDocument();

    JsonDocument(const std::string &json_str);
};

需要为ObjectRoot和ArrayRoot分别特化无参模板构造函数，但由于构造函数无参数，无法推导模板参数T，尝试的两种显式特化写法均无效：

无效写法1（类内声明） #

class JsonDocument
{
    // ...

    // 无效：类本身非模板类，不能使用JsonDocument<ObjectRoot>形式
    template<> JsonDocument<ObjectRoot>();
    template<> JsonDocument<ArrayRoot>();
};

无效写法2（类外定义） #

template<> JsonDocument::JsonDocument<ObjectRoot>()
{
}

template<> JsonDocument::JsonDocument<ArrayRoot>()
{
}

问题本质 #

原写法无效的核心原因是：JsonDocument本身不是模板类，只有构造函数是模板成员函数。C++中，显式特化非模板类的模板成员函数时，不能使用类名<模板参数>的语法（这是类模板特化的写法），且无参模板构造函数无法通过参数推导确定模板参数，直接特化的语法不支持这种场景。

可行实现方式 #

方式1：将类改为模板类 #

把RootType作为类的模板参数，即可合法地特化构造函数：

#include <string>
#include <type_traits>

template<size_t T = 1>
class JsonDocument
{
public:
    using RootType = size_t;
    constexpr static RootType ObjectRoot = 1;
    constexpr static RootType ArrayRoot = 2;

    JsonDocument();
    JsonDocument(const std::string &json_str);
};

// 特化ObjectRoot对应的构造函数
template<>
JsonDocument<JsonDocument<ObjectRoot>::ObjectRoot>::JsonDocument()
{
    // Object根的初始化逻辑
}

// 特化ArrayRoot对应的构造函数
template<>
JsonDocument<JsonDocument<ObjectRoot>::ArrayRoot>::JsonDocument()
{
    // Array根的初始化逻辑
}

// 普通构造函数实现
template<size_t T>
JsonDocument<T>::JsonDocument(const std::string &json_str)
{
    // 解析JSON字符串的逻辑
}

使用示例：

// 默认创建Object根的文档
JsonDocument<> doc1;
// 显式创建Array根的文档
JsonDocument<JsonDocument<>::ArrayRoot> doc2;

方式2：标签分派（Tag Dispatch） #

不修改类的非模板属性，通过定义标签类型重载构造函数，模拟"特化"效果：

#include <string>

class JsonDocument
{
public:
    using RootType = size_t;
    constexpr static RootType ObjectRoot = 1;
    constexpr static RootType ArrayRoot = 2;

    // 定义标签类型，用于区分不同构造逻辑
    struct ObjectTag {};
    struct ArrayTag {};

    // 默认无参构造：使用Object根逻辑
    JsonDocument() : JsonDocument(ObjectTag{}) {}

    // Object根构造实现
    explicit JsonDocument(ObjectTag)
    {
        // Object根的初始化逻辑
    }

    // Array根构造实现
    explicit JsonDocument(ArrayTag)
    {
        // Array根的初始化逻辑
    }

    JsonDocument(const std::string &json_str);
};

使用示例：

// 默认创建Object根的文档
JsonDocument doc1;
// 显式创建Array根的文档
JsonDocument doc2(JsonDocument::ArrayTag{});

方式3：模板构造函数内分支判断 #

利用if constexpr在模板构造函数内部实现不同分支逻辑，无需特化：

#include <string>
#include <type_traits>

class JsonDocument
{
public:
    using RootType = size_t;
    constexpr static RootType ObjectRoot = 1;
    constexpr static RootType ArrayRoot = 2;

    template<
        RootType T = ObjectRoot,
        std::enable_if_t<T == ObjectRoot || T == ArrayRoot, int> = 0
    >
    JsonDocument()
    {
        if constexpr (T == ObjectRoot)
        {
            // Object根的初始化逻辑
        }
        else
        {
            // Array根的初始化逻辑
        }
    }

    JsonDocument(const std::string &json_str);
};

使用示例（需显式指定模板参数）：

// 默认创建Object根的文档
JsonDocument doc1;
// 显式创建Array根的文档
auto doc2 = JsonDocument::template JsonDocument<JsonDocument::ArrayRoot>();

总结 #

原问题中的显式特化写法完全不可行，因为类本身非模板类，无法适配模板成员函数的特化语法。推荐使用标签分派（无需修改类结构，调用直观）或类模板特化（语义更清晰）的方式实现需求。

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