Указатели функций и методов в std :: set

Question

Как описано in another message of mine, невозможно сравнить 2 указателя с функциями-членами с «<» (менее). По крайней мере, это приводит к неопределенному поведению.

Я только что удалось скомпилировать этот код как с помощью Visual C++, а также GCC:

template <class Receiver, class Param = void*, class Return = void> 
class EventReceiver : public IFunction<> { 

protected: 

    std::set< Return(Receiver::*)(Param) > test; 
    std::set< Return(*)(Param) > test2; 
... 

AFAIK, чтобы сделать зЬй :: карту или зЬй :: набор ничего, оно должно быть возможным сравните значения набора с «<». Означает ли это, что вышеупомянутые контейнеры или фактические компиляторы имеют рабочую реализацию сравнения методов указателей на методы таким образом?

Answer 1

Ну, это было на самом деле вводящее в заблуждение, что пример кода скомпилирован. По правде говоря, наборы непригодны для использования. Каждая попытка вставить в них данные создает ожидаемую ошибку.

Это «темная сторона» функций шаблона C++. Они не существуют до тех пор, пока вы их не используете (и, следовательно, не будете создавать ошибки компилятора до тех пор, пока вы это сделаете).

Проверьте это:

#include <set> 

class X {}; 

int main() { 

    typedef void(X::*FuncPtr)(); 
    std::set<FuncPtr> set; 
    std::less<FuncPtr> less; 
    FuncPtr f1; 
    FuncPtr f2; 
    //set.insert(f1); // both of these lines 
    //less(f1,f2);  // produce an error 
}; 

Удаление комментариев в любой из последних 2-х линий дает ошибку:

недопустимые операнды ничтожной (X :: * сопзЬ) Types»() 'и 'недействительным (X :: * Const)()' в двоичный 'оператор <'

Compile it online yourself here.

Answer 2

std::set<T> использует std::less<T>, вместо прямого использования оператора. Если T - тип указателя, то std::less<T> гарантированно будет полным, даже если оператор меньше, чем оператор.

Редактировать: В разделе 20.3.3 стандарта C++ 98 говорится «типы указателей», которые (я думаю) включает указатели на функции, но не указатели на элементы.