C++ 类成员的用户定义比较器

Question

我有一个关于以下代码的快速问题：

#include <iostream>
#include <string>
#include <map>

using namespace std;

struct mySet{
    
    mySet(){
    }

    auto compare = [](int a, int b){ return a > b; };
    
    map<int, int, bool(*)(int, int)> myMap(compare);
    
    void insert(int x){
        if(myMap.find(x) == myMap.end()) myMap[x] = 1;
        else myMap[x]++;
    }
    
    void output(){
        for(auto p : myMap) cout << p.first << " " << p.second << endl;   
    }
};

int main()
{
  mySet thing;
  thing.insert(1);
  thing.insert(2);
  thing.insert(1);
  thing.output();
}

此代码引发了一个错误，我怀疑该错误与

    auto compare = [](int a, int b){ return a > b; };
    
    map<int, int, bool(*)(int, int)> myMap(compare);

我的理解是这不会编译，因为 compare 是一个需要实例才能被调用的类的成员。

如果我将此代码替换为

    static auto compare = [](int a, int b){ return a > b; };

它仍然无法编译，因为它至少需要一个 mySet 实例才能调用 compare。

我的问题是：

1. 我的理解是否正确，或者 std::map 中的函数类型和比较器类型是否存在更险恶的情况？

2. 是否有一个简单的解决方案来使用用户定义的比较器声明一个类的成员？我最简单的想法就是将成员声明为

std::map<int, int, bool(*)(int, int)> myMap;

然后将函数传递给构造函数

mySet( bool(*f)(int, int) ){
     map<int, int, bool(*)(int, int)> newMap (f);
     myMap = newMap;
}

只是好奇是否有更简单的解决方案，并试图更好地了解发生了什么。

感谢您的帮助。

Answer 1

您不能使用auto 声明非静态成员。

也不能对非整数类型的静态非 constexpr 数据成员进行类内初始化。

类内初始化不使用()，而是使用{}（或=）（以避免令人烦恼的解析问题）

所以你可以使用：

static constexpr auto compare = [](int a, int b){ return a > b; };
    
std::map<int, int, bool(*)(int, int)> myMap{compare};

Demo

或者在你的情况下，简单地说：

std::map<int, int, std::greater<int>> myMap;

Demo