最小值和最大值是非常简单的函数，没有太多可说的，真的是这样吗？

最小值和最大值是非常基本的概念，但也可能存在一些细节上的问题和需要注意的地方。本文将深入探讨C++标准库里的

等相关函数的用法和注意事项。

确实在做很简单的事情：它们接受两个值，

template<typename T>
const T& min(const T& a, const T& b);

template<typename T>
const T& max(const T& a, const T& b);

)。即可以实例化指向较小或较大值的引用，从而避免进行复制。因为它是

，所以不能通过这个引用修改原始值。

int a = 2;
int b = 3;
const int& minValue = std::min(a, b);

这个示例中取最小值时不会复制任何对象。对于整型类型来说，这有点过分，但对于一般情况来说，知道这一点很有用。

不过要小心引用的生命周期！如果将作为最小值的值销毁了，那么引用将指向一个不再存在的对象。即使 

 是一个指向常量的引用，情况也是如此。实际上，由常量引用保存的临时对象是来自 

 的对象，而不是传递进来的那个对象。为了说明这一点，可以看一下下面代码：

#include<iostream>
#include <algorithm>
int get2()
{
    return 2;
}
int get3()
{
    return 3;
}
int main(){
	const int& minValue = std::min(get2(), get3());
	std::cout << minValue << '\n';
	return 0;
}

我们可能期望这段代码会显示 2，

以迭代器的形式返回较大和较小元素的位置：

template<typename ForwardIt>
ForwardIt min_element(ForwardIt first, ForwardIt last);

这种需求在代码中偶尔会出现。当出现这种情况时，不需要使用

循环重新实现它：它就存在于STL中，等待被使用。所有这些算法都有接受自定义比较函数（或函数对象）的重载版本，以便将值与小于运算符以外的其他内容进行比较。

在c++ 11中，std::min和std::max出现了新的重载。前面的代码只使用了两个(引用)值，为什么只局限于此呢?范围的情况由std::min_element和std::max_element覆盖，但是取不属于范围的几个值中的最小值也是有意义的。

出现了新的重载函数。之前的函数只接受两个值（引用），为什么不扩展到接受更多值呢？对于一个范围的值，

可以处理，但是对于不在一个范围内的多个值的最小值也是有意义的。

template<typename T>
T min(std::initializer_list<T> ilist);

int minValue = std::min({4, 1, 5, 5, 8, 3, 7});

的基本重载相反，返回的是较小(或较大)值的副本，而不再是引用。实际上，在基本重载中，引用绑定到实参，这对于初始化列表没有意义。

C++ 14为目前看到的所有算法带来了新的

template<typename ForwardIt>
constexpr ForwardIt max_element(ForwardIt first, ForwardIt last);

中有一个bug，并且这个bug正变得越来越明显。有人可能会想，这怎么可能呢？这样一个简单而广泛使用的函数怎么会有bug呢？

在特定情况下，当两个元素比较相等时(通过使用

或自定义比较器)，就会发生这种情况。然后

返回对第一个的引用，这是可以的，但是

也返回对第一个的引用。这很奇怪。因为期望是在一对元素中，最大值总是小于最小值。

 来进行比较。当两个元素相等时，

 会错误地将第一个元素视为最大值。

#include <iostream>
#include <algorithm>

int main() {
    int a = 5;
    int b = 5;
    
    int& maxRef = std::max(a, b);
    
    // 修改 a 的值
    a = 10;
    
    std::cout << "Max value: " << maxRef << std::endl;
    
    return 0;
}

预期输出应该是 “Max value: 10”，因为在代码中将 

 的 bug，实际输出会是 “Max value: 5”，因为 

 仍然指向初始值较小的元素。

 的另一个重载版本，接受一个自定义的比较器作为参数，或者使用条件表达式 

返回一个包含它接收到的两个值的最小值和最大值的值对（

 ）。如果这些值相等，那么最小值是第一个，最大值是第二个。

template<typename T>
std::pair<const T&,const T&> minmax(const T& a, const T& b);

那么，读完这篇文章，还认为最小值和最大值真的那么简单吗？

最小值和最大值函数看似简单，但在实际使用中还是需要注意一些细节问题。

最小值和最大值是非常基本的概念，但也可能存在一些细节上的问题和需要注意的地方。本文将深入探讨C++标准库里的std::min、std::max等相关函数的用法和注意事项。

C++中看似简单的 min 和 max 函数隐藏的细节

本文深入探讨C++标准库里的std::min、std::max等相关函数的用法和注意事项。

编程语言

算法

深入解析C++标准库中的min/max函数，探讨其引用特性、initializer_list用法及C++14的constexpr优化，揭示std::max在等值比较时的bug及解决方案。掌握这些细节能提升代码质量与性能。

编译器

文章

问答

视频

教程

学习中心

腾讯云实验室

直播

竞赛

腾讯云代码分析专区

腾讯iOA零信任安全管理系统专区

腾讯云架构师技术同盟交流圈

腾讯云数据库专区

腾讯云智能顾问专区

腾讯云原生专区

腾讯混元专区

腾讯云TCE专区

腾讯云Lighthouse专区

腾讯云HAI专区

腾讯云Edgeone专区

腾讯云存储专区

腾讯云智能专区

腾讯轻联专区 

腾讯云开发专区

TAPD专区

腾讯轻量云游戏服专区

腾讯云最具价值专家

腾讯云架构师技术同盟

腾讯云创作之星

腾讯云开发者先锋

腾讯云代码助手

云原生构建

TAPD 敏捷项目管理

Cloud Studio

SDK中心

API中心

命令行工具

涵盖代码开发、场景应用、自动测试全流程，助你从零构建专属AI助手

一站式MCP教程库，解锁AI应用新玩法

聚焦“写作效率、视觉美观与运行性能”三方面进行全面升级，为您提供更高效、稳定的创作环境

社区富文本&Markdown编辑器全新改版上线，欢迎大家体验!

诚挚邀请您参与本次调研，分享您的真实使用感受与建议。您的反馈至关重要，感谢您的支持与参与！

C++中看似简单的 min 和 max 函数隐藏的细节

C++中看似简单的 min 和 max 函数隐藏的细节

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐