调用类型函数的模板参数函数安全性及优化方案问询

问题背景 #

你当前的代码通过私有模板函数getSize调用两个结构体的getSize()成员函数，运行结果符合预期，但担心这种实现的安全性，同时想了解更优的实现方式。相关代码如下：

结构体定义 #

struct Typestruct1
{
    int size = 4;

    int getSize() {
        return size;
    }
};


struct Typestruct2
{
    int size = 8;

    int getSize() {
        return size;
    }
};

类实现 #

class MyClass
{
public:
    void printSizes() {
        std::cout << getSize(t1) << std::endl;
        std::cout << getSize(t2) << std::endl;
    }

private:
    template<typename Type>
    int getSize(Type structType) {
        return structType.getSize();
    }

private:
    Typestruct1 t1;
    Typestruct2 t2;
};

使用示例 #

MyClass myClass;
myClass.printSizes();

输出结果：

4
8

安全性分析 #

你的实现是安全的，理由如下：

• 模板函数getSize是MyClass的私有成员，外部代码无法直接调用，只能在类内部使用，从访问权限上杜绝了外部传入非法类型的可能。
• 内部仅传入Typestruct1和Typestruct2，这两个类型都明确拥有getSize()成员函数，模板实例化会在编译阶段完成检查。如果不小心传入没有getSize()的类型，编译器会直接报错，不会出现运行时错误。
• 当前代码运行符合预期，说明模板实例化过程完全合法，不存在隐式的安全隐患。

更优实现方案 #

根据不同的需求，可以选择以下几种优化方式：

1. 用C++20概念约束模板参数（推荐） #

定义一个概念强制要求模板参数必须拥有符合要求的getSize()成员函数，这样即使未来内部误传类型，编译器会给出更清晰的错误提示，而非模糊的“找不到成员函数”：

#include <concepts>

// 定义概念：要求类型拥有返回int的getSize()成员函数
template<typename T>
concept HasGetSize = requires(T t) {
    { t.getSize() } -> std::same_as<int>;
};

class MyClass
{
public:
    void printSizes() {
        std::cout << getSize(t1) << std::endl;
        std::cout << getSize(t2) << std::endl;
    }

private:
    // 仅接受符合HasGetSize概念的类型
    template<HasGetSize Type>
    int getSize(const Type& structType) {
        return structType.getSize();
    }

private:
    Typestruct1 t1;
    Typestruct2 t2;
};

// 同时修改结构体的getSize为const成员，支持const引用调用
struct Typestruct1
{
    int size = 4;

    int getSize() const {
        return size;
    }
};

struct Typestruct2
{
    int size = 8;

    int getSize() const {
        return size;
    }
};

2. 改用const引用传递避免拷贝 #

原模板函数采用值传递结构体，对于较大的结构体可能产生不必要的拷贝开销。改成const引用传递更高效，同时配合结构体成员函数的const修饰：

// 修改模板函数为const引用传递
template<typename Type>
int getSize(const Type& structType) {
    return structType.getSize();
}

// 结构体的getSize添加const修饰
struct Typestruct1
{
    int size = 4;

    int getSize() const {
        return size;
    }
};

struct Typestruct2
{
    int size = 8;

    int getSize() const {
        return size;
    }
};

3. 非模板的重载实现 #

如果确定仅需处理这两种类型，也可以直接写两个重载的私有成员函数，代码更直观，避免模板实例化的微小开销：

class MyClass
{
public:
    void printSizes() {
        std::cout << getSize(t1) << std::endl;
        std::cout << getSize(t2) << std::endl;
    }

private:
    int getSize(const Typestruct1& structType) {
        return structType.getSize();
    }

    int getSize(const Typestruct2& structType) {
        return structType.getSize();
    }

private:
    Typestruct1 t1;
    Typestruct2 t2;
};

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