一份程序，调用了

<cstdio>
<algorithm>
<vector>

其中含有greater<int>。
在某基于hydro的OJ的C++14（O2）下过不了编译；但是在本地（C++17，mingw14.2.0）可以正常跑。为什么会这样呢？是因为这三个头文件的其中一个在C++17多包含了<functional>吗？玄关