如何利用C++14的auto返回值避免const与非const代码重复？

嘿，这个问题我太有共鸣了！当初刚用C++14写带auto返回值的成员函数时，看着const和非const版本几乎一模一样的函数体，简直头大——明明逻辑完全一样，却要复制粘贴两遍，后期维护起来太容易出问题了。

传统的“非const版本调用const版本再转类型”的方法，在auto返回值下确实会遇到麻烦，因为auto会自动推导const版本的返回类型（比如const引用或者const迭代器），直接用的话不符合非const版本的需求。不过别担心，有两种靠谱的方法能解决这个问题：

方法一：用私有模板辅助函数封装核心逻辑 #

这是我个人最推荐的方案，把重复的核心逻辑放在一个模板函数里，让const和非const版本都调用它，模板会根据传入的this的const属性自动推导返回类型。

举个实际的例子，假设我们有一个类，要返回内部容器的迭代器：

#include <vector>

class MyCollection {
private:
    std::vector<int> items_ = {10, 20, 30, 40};

    // 私有模板函数：所有核心逻辑都写在这里
    template <typename Self>
    static auto get_iterator_impl(Self& self) -> decltype(self.items_.begin()) {
        // 这里可以写任意复杂的逻辑，比如查找特定元素、过滤等
        // 示例：返回第一个大于15的元素的迭代器
        for (auto it = self.items_.begin(); it != self.items_.end(); ++it) {
            if (*it > 15) {
                return it;
            }
        }
        return self.items_.end();
    }

public:
    // const版本：调用模板，传入const的自身引用
    auto get_iterator() const -> decltype(auto) {
        return get_iterator_impl(*this);
    }

    // 非const版本：调用模板，传入非const的自身引用
    auto get_iterator() -> decltype(auto) {
        return get_iterator_impl(*this);
    }
};

这里的关键是decltype(auto)，它会保留模板返回值的类型（比如const_iterator或iterator），而模板的Self参数会被自动推导为const MyCollection&或MyCollection&，完美适配两个版本的需求，核心逻辑只需要写一次。

方法二：在非const版本中调用const版本并转换类型 #

如果你的逻辑比较简单，也可以直接让非const版本调用const版本，然后用const_cast移除返回值的const属性——只要确保当前对象确实是可修改的（毕竟我们在非const成员函数里，这一点是成立的，所以不会有未定义行为）。

还是用上面的例子：

#include <vector>

class MyCollection {
private:
    std::vector<int> items_ = {10, 20, 30, 40};

public:
    // const版本：写核心逻辑
    auto get_iterator() const -> decltype(auto) {
        for (auto it = items_.begin(); it != items_.end(); ++it) {
            if (*it > 15) {
                return it;
            }
        }
        return items_.end();
    }

    // 非const版本：调用const版本并转换类型
    auto get_iterator() -> decltype(auto) {
        // 先转换成const对象调用const版本，再移除返回值的const属性
        return const_cast<decltype(get_iterator())>(
            static_cast<const MyCollection*>(this)->get_iterator()
        );
    }
};

这里要注意decltype(get_iterator())在非const版本里，会推导const版本的返回类型（也就是const_iterator），然后用const_cast转换成非const的iterator——因为当前对象是非const的，这个转换是安全合法的。

总结一下 #

• 如果核心逻辑复杂，优先用模板辅助函数，代码更清晰，维护性更好；
• 如果逻辑简单，调用const版本再转类型更直接，代码量更少。

这两种方法都能完美解决C++14中auto返回值带来的const/非const函数代码重复问题，我自己日常开发里用模板的情况更多，毕竟后期改逻辑只需要改一次太省心了！

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