Използване на std::complex‹double› като std::map ключ

Не съм разглеждал изпълнението, но според cppreference std::map използва std::less<T> като оператор за сравнение , който може да не е специализиран за std::complex, ако внедрите едно предаване като трети параметър във вашия шаблон std::map<std::complex, int, LessOperator> подобно на std:unordered_map, където можете да предоставите хеш функтор и функтор за равенство. Ако и двете са внедрени, можете да използвате std::complex като ключ.

Основните отговори са посочени в коментарите по-горе. Проблемът е, че комплексните числа не са подредени и затова няма предварително дефиниран по-малък оператор за std::complex<T>. Въпреки това можете да дефинирате такъв за себе си и това става лесно, като използвате вече дефинирания по-малък оператор за std::array<T,2>:

#include <iostream>
#include<complex>
#include<map>
#include<unordered_map>
#include<array>

template<typename T> struct less {};

    template<typename T>
    struct less<std::complex<T> >
    {
        bool operator()(std::complex<T> const& a, std::complex<T> const& b)
        {
            return std::array<T,2>{a.real(),a.imag()} < std::array<T,2>{b.real(),b.imag()};
        }
    };

int main()
{
    std::map<std::complex<double>, int, less<std::complex<double> > > m;

    m[std::complex<double>(1.0,0.0)]=1;
    m[std::complex<double>(0.0,1.0)]=2;
    m[{0.5,0.5}]=3;

    return 0;
}

Вижте пример на живо тук.

Проблемът с вашия подход е, че за подреден контейнер, като std::map, ключът трябва да може да се поддава на стриктно слабо подреждане. От wikipedia:

Строгият слаб ред има следните свойства. За всички x и y в S,

За всички x не е така, че x ‹ x (ирефлексивност).

За всички x, y, ако x ‹ y, тогава не е така, че y ‹ x (асиметрия).

За всички x, y и z, ако x ‹ y и y ‹ z, тогава x ‹ z (преходност).

За всички x, y и z, ако x е несравнимо с y и y е несравнимо с z, тогава x е несравнимо с z (преходност на несравнимостта).

За съжаление, няма естествен начин за налагане на строго слабо подреждане на комплексните числа. Например 1 ‹ i или i ‹ 1? Ако кажете, че -i ≮ 1 и 1 ≮ i, тогава според правилата за строго слабо подреждане трябва да е вярно, че -i ≮ аз. Това означава смисъл.

Трябва да използвате комплексни числа като ключ, малко вероятно е да имате нужда от поръчан контейнер. Опитайте да разгледате std::unordered_map.

От раздел 23.2.4.2 [associative.reqmts] на стандарт C++11:

Всеки асоциативен контейнер е параметризиран на Key и релация за подреждане Compare, която индуцира строго слабо подреждане (25.4) на елементите на Key. Освен това map и multimap свързват произволен тип T с ключа. Обектът от тип Compare се нарича обект за сравнение на контейнер.