C++11中如何结合继承实现引用传递适配SDK模板函数configParam

场景说明 #

以下代码分为不可修改的SDK代码和可编辑的自定义代码两部分：

不可修改的SDK代码 #

#include <iostream>

struct Base { };

template <class TParamQuantity = Base>
TParamQuantity* configParam(int paramId) { return NULL; }

可编辑的自定义代码（原始尝试） #

struct BaseParamScaler { };
struct LogParamScaler : BaseParamScaler { };

template <BaseParamScaler &T>
struct QRange : Base { };

LogParamScaler gLogParamScaler;

int main()
{
    // 此处编译会出错：模板参数要求BaseParamScaler类型的引用，但gLogParamScaler是子类实例
    configParam<QRange<gLogParamScaler>>(0);
}

需求 #

希望能将BaseParamScaler及其子类通过模板传递给SDK的configParam函数，允许使用指针/值等传递方式，但必须通过模板让configParam处理它们。

已尝试的可行方案 #

通过为模板添加类型参数，解决了编译问题，代码如下：

template <typename T, T &S>
struct QRange : Base { };

调用方式：

configParam<QRange<LogParamScaler, gLogParamScaler>>(0);

但不确定该方案是否足够优雅，寻求更简洁的实现方式。

解决方案分析 #

在C++11中，你的原始方案是完全合规的，在此基础上可以通过模板别名优化，减少代码冗余：

优化方案：使用模板别名自动推导类型 #

// 保留核心模板结构
template <typename T, T &Scaler>
struct QRange : Base {};

// 模板别名自动推导Scaler的类型，避免手动指定
template <auto& Scaler>
using QRangeAuto = QRange<decltype(Scaler), Scaler>;

调用时无需手动写类型参数，代码更简洁：

configParam<QRangeAuto<gLogParamScaler>>(0);

替代方案：使用指针传递模板参数 #

如果可以接受指针形式，模板定义会更灵活（避免引用模板参数对对象外部链接属性的限制）：

template <typename T, T* Scaler>
struct QRange : Base {};

// 模板别名简化调用
template <auto* Scaler>
using QRangePtr = QRange<decltype(*Scaler), Scaler>;

调用方式：

configParam<QRangePtr<&gLogParamScaler>>(0);

方案评价 #

你的原始方案本身是合理的，优化后的模板别名版本既保留了类型安全性，又减少了手动指定类型的冗余，是更优雅的选择。

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