C++17模板派生类静态分派：自动实现is_dynamic类型判断

原来的手动重载方式需要为每个派生类单独编写特化，无法适配新增的派生类（比如DynamicDataSym2）。要解决这个问题，我们可以利用C++的重载解析与隐式类型转换特性，让所有继承自DynamicData的类型自动匹配到正确的判断逻辑，无需手动特化每个派生类。

核心思路 #

定义两个重载的辅助检测函数：

• 第一个函数接受任意DynamicData实例的const引用，返回true；
• 第二个函数接受任意其他类型（用...占位），返回false。

当传入派生类对象时，由于派生类可以隐式转换为基类DynamicData的引用，会优先匹配第一个重载，从而返回true；非派生类则匹配第二个重载，返回false。

修改后的完整代码 #

#include <type_traits> // 用于std::declval（处理不可默认构造的类型）

class ClrngAssetBuff
{
   int name1 {};

public:
   int GetName();
};


template<typename t1, typename t2, bool a>
struct DynamicData
{
   t1 m1;
   t2 m2;
};

template<typename t1, typename t2, int sym>
struct DynamicDataSym : DynamicData<t1, t2, true>
{
   int some() { return sym; }
};

template<typename t1>
struct DynamicDataSym2 : DynamicData<t1, float, true>
{
   float some() { return 1.0f; }
};

namespace detail {
    // 匹配DynamicData及其所有派生类
    template<typename T1, typename T2, bool A>
    constexpr bool is_dynamic_check(const DynamicData<T1, T2, A>&) {
        return true;
    }

    // 匹配所有非DynamicData派生类
    constexpr bool is_dynamic_check(...) {
        return false;
    }
}

template<typename T>
constexpr bool is_dynamic(const T& t)
{
   return detail::is_dynamic_check(t);
}

template<typename T>
constexpr bool is_dynamic2()
{
    // 使用std::declval避免依赖T的默认构造能力
    return detail::is_dynamic_check(std::declval<const T&>());
}


template<typename T> void DoDynamicInfo(const T& t);
template<typename T> void ExecuteMessage(const T& t);

template<typename T>
void ProcessMessage(const T& t)
{
   if  (is_dynamic2<T>())
      DoDynamicInfo(t);

    ExecuteMessage(t);
}

// 补充函数定义以通过编译
template<typename T> void DoDynamicInfo(const T& t) {}
template<typename T> void ExecuteMessage(const T& t) {}

int main(int argc, char** argv)
{
    ClrngAssetBuff msg1;
    ProcessMessage(msg1);

    DynamicData<int, double, false> msg2;
    ProcessMessage(msg2);
    DynamicDataSym<int, int, 10> msg3;
    ProcessMessage(msg3);

    DynamicDataSym2<long long> msg4;
    ProcessMessage(msg4); // 现在会正确调用DoDynamicInfo(msg4)
}

关键改进点 #

1. 自动适配派生类：无需为每个新的DynamicData派生类编写额外的is_dynamic重载，只要类继承自DynamicData，就会自动触发正确的判断。
2. 兼容性优化：用std::declval替代直接构造T{}，避免要求T必须是默认构造的，提升了代码的通用性。
3. 符合约束：没有修改现有模板结构，也没有使用虚函数，完全满足题目要求。

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