C++通用引用模板函数问题：指针取值与减法API优化

需求 #

实现辅助函数value_retriever，用于获取值本身或指针指向的值，以支持数值或重载-运算符类型的减法操作。

现有代码 #

template <typename T>
T value_retriever(const T&& val) {
    if constexpr (std::is_pointer_v<decltype(val)> || std::is_reference_v<decltype(val)>)
        return *val;
    else
        return std::forward<T>(val);
}


template <typename T>
[[nodiscard]] constexpr auto minus(const T&& lhs, const T&& rhs) -> T {
    return value_retriever(std::forward<T>(lhs)) - value_retriever(std::forward<T>(rhs));
}

编译错误 #

In module 'math' imported from zero\main.cpp:8:
In module 'math.ops' imported from zero/ifc/math/math.cppm:3:
zero/ifc/math/ops/arithmetic.cppm:25:16: error: cannot initialize return
      object of type 'const int *' with an rvalue of type 'long long'
        return value_retriever(std::forward<T>(lhs)) - value_retriever(std::forward<T>(rhs));
               ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
zero\main.cpp:38:83: note: in instantiation of function template
      specialization 'zero::math::minus<const int *>' requested here
    std::cout << "Subtraction of two integer l-value references: " << zero::math::minus(&a, &b) << "\n\n";
                                                                                  ^
In module 'math' imported from zero\main.cpp:8:
In module 'math.ops' imported from zero/ifc/math/math.cppm:3:
zero/ifc/math/ops/arithmetic.cppm:9:20: error: indirection requires pointer
      operand ('int' invalid)
            return *val;
                   ^~~~
zero/ifc/math/ops/arithmetic.cppm:25:16: note: in instantiation of function
      template specialization 'zero::math::value_retriever<int>' requested here
        return value_retriever(std::forward<T>(lhs)) - value_retriever(std::forward<T>(rhs));
               ^
zero/ifc/math/ops/arithmetic.cppm:9:20: error: cannot initialize return
      object of type 'const int *' with an lvalue of type 'const int'
            return *val;
                   ^~~~
zero/ifc/math/ops/arithmetic.cppm:25:16: note: in instantiation of function
      template specialization 'zero::math::value_retriever<const int *>' requested here
        return value_retriever(std::forward<T>(lhs)) - value_retriever(std::forward<T>(rhs));
               ^
3 errors generated.

调用代码 #

const int a = 16;
const int b = 20;

std::cout << "Subtraction of two integers, passed as l-value references: " << zero::math::minus(&a, &b) << "\n\n";

疑问 #

1. 为何if constexpr已判断val为指针或引用，仍出现‘indirection requires pointer operand’错误？
2. 如何改进公共API，使其同时支持值、指针、引用，并正确返回对应类型？

解答 #

问题1的原因 #

核心错误在于value_retriever的类型判断逻辑完全错误：

• decltype(val)获取的是参数的实际类型（包含引用、const修饰符），比如传入int值时，val是const int&&，std::is_reference_v<decltype(val)>为true，会进入*val分支，但引用类型不需要解引用，直接解引用会触发编译错误。
• 传入指针时，val是指针的右值引用（比如const int* const&&），std::is_pointer_v<decltype(val)>为false（因为这是引用类型，不是纯指针类型），导致条件不成立，不会解引用指针，反而直接返回指针本身，后续减法得到的ptrdiff_t类型无法匹配minus的返回类型const int*，引发类型不兼容错误。

问题2的改进方案 #

重新设计value_retriever的类型判断逻辑，同时修正minus的返回类型推导：

1. 修正value_retriever

使用std::remove_cvref_t获取模板参数的原始类型，明确区分指针、引用和值类型：

#include <type_traits>

template <typename T>
constexpr auto value_retriever(T&& val) noexcept {
    using RawT = std::remove_cvref_t<T>;
    if constexpr (std::is_pointer_v<RawT>) {
        // 指针类型：解引用获取指向的值
        return *val;
    } else if constexpr (std::is_reference_v<T>) {
        // 引用类型：直接返回引用的值，无需解引用
        return val;
    } else {
        // 值类型：转发右值或返回左值
        return std::forward<T>(val);
    }
}

2. 修正minus函数

原minus的返回类型T不合理（比如指针相减结果是ptrdiff_t，不是指针类型），改为自动推导返回类型，同时支持不同兼容类型的输入：

template <typename T, typename U>
[[nodiscard]] constexpr auto minus(T&& lhs, U&& rhs) noexcept {
    return value_retriever(std::forward<T>(lhs)) - value_retriever(std::forward<U>(rhs));
}

如果需要限制输入类型支持减法操作，可以添加静态断言约束：

template <typename T, typename U>
[[nodiscard]] constexpr auto minus(T&& lhs, U&& rhs) noexcept
    -> decltype(value_retriever(std::forward<T>(lhs)) - value_retriever(std::forward<U>(rhs))) {
    static_assert(
        requires { value_retriever(std::forward<T>(lhs)) - value_retriever(std::forward<U>(rhs)); },
        "Input types must support subtraction operator"
    );
    return value_retriever(std::forward<T>(lhs)) - value_retriever(std::forward<U>(rhs));
}

3. 测试验证

修改后的代码可以兼容多种输入形式：

const int a = 16;
const int b = 20;

// 传入指针
std::cout << "Subtraction of two integer pointers: " << zero::math::minus(&a, &b) << "\n"; // 输出-4

// 传入值
std::cout << "Subtraction of two integer values: " << zero::math::minus(16, 20) << "\n"; // 输出-4

// 传入左值引用
std::cout << "Subtraction of two integer l-value references: " << zero::math::minus(a, b) << "\n"; // 输出-4

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