const에서 매개 변수를 사용하지 않을 때 C++ 컴파일러가 컴파일되지 않는 이유는 무엇입니까?

Question

std::map의 최대 값을 반환하려고합니다. 나는이 같은 pred을 정의하면

int main() { 
    int N; 
    cin >> N; 
    map<int,int > m; 
    while(N--) { 
     int x; cin >> x; 
     m[x]++; 
    } 
    cout << max_element(m.begin(), m.end(), pred)->first; 
    return 0; 
} 

, 그것을 작동 :

bool pred(const pair<int,int>& lhs, const pair<int,int>& rhs){ 
    return lhs.second < rhs.second; 
} 

을이 작동하지 않습니다, 반면 : const가 작동 할 수 있습니다 왜 이해가 안

bool pred(pair<int,int>& lhs, pair<int,int>& rhs){ 
    return lhs.second < rhs.second; 
} 

.

Answer 1

std::map<K, V>의 값 유형은 std::pair<K, V>이 아니고 std::pair<K const, V> 이니 std::map<K, V> 요소의 키를 변경할 수 없습니다. 바람직하게는

bool pred(std::map<int, int>::reference lhs, std::map<int, int>::reference rhs) { ... } 

당신의 pred() 함수가 인수를 변경하지 않습니다,

bool pred(std::pair<int const, int>& lhs, std::pair<int const, int>& rhs) { ... } 

또는 : 당신은 당신의 pred() 함수의 인수에 대한 올바른 값 유형을 사용해야합니다. 상응하게 그것은 에 의한 인수를 받아 들일 수 있어야하고, std::map<K, V> const을 사용할 수 있어야합니다. 그러나, const지도가있는 기능 만 사용하는 경우 올바른 값 유형을 사용한다고 가정 할 필요가 없습니다. std::pair 이후

std::pair 다른 유형의 변환 연산자를 가지고, 그것은 [암시] std::pair<int const, int>에서 std::pair<int, int>로 변환 할 수있다. 그러나 결과는 임시 std::pair<int, int>이며 비 const 참조에 연결할 수 없습니다. int 값 쌍에 대해서는 큰 성능 차이는 없지만 암시 적 변환은 키 또는 값에 어떤 형식의 컨테이너가 들어있는 경우와 같이 주요 성능 문제 일 수 있습니다.