2013-07-26 21 views
9

Próbuję użyć std :: unordered_set w wieloplatformowej aplikacji C++. Kompiluje i działa jak czar w Visual C++ pod Windows, ale generuje fatalny błąd kompilacji w klang pod Mac OS X.Używanie C++ 11 unordered_set w Visual C++ i clang

Chcę wiedzieć, dlaczego tak się dzieje i jaki jest właściwy sposób, aby to zadziałało.

Przykładowy kod:

// 
// Clang build cmdline: 
// $ clang++ ./set.cpp -Wall -Werror -Wfatal-errors -std=c++11 -stdlib=libc++ -o set.out 
// 

#include <iostream> 
#include <unordered_set> 

struct Point { 
    int x, y; 
    Point(int x = 0, int y = 0) { 
     this->x = x; 
     this->y = y; 
    } 
    bool operator==(Point const& p) const { 
     return this->x == p.x && this->y == p.y; 
    } 
    operator std::size_t() const { 
     return std::hash<int>()(x)^std::hash<int>()(y); 
    } 
}; 

typedef std::unordered_set<Point> points_set_t; 

int main() { 
    Point point1(1, 5); 
    Point point2(1, 1); 
    Point point3(1, 5); 
    points_set_t points; 
    points.insert(point1); 
    points.insert(point2); 
    points.insert(point3); 
    for (points_set_t::const_iterator it = points.begin(); it != points.end(); it++) { 
     std::cout << it->x << ":" << it->y << std::endl; 
    } 
} 

wyjście Clang:

In file included from ./set.cpp:6: 
In file included from /usr/bin/../lib/c++/v1/iostream:38: 
In file included from /usr/bin/../lib/c++/v1/ios:216: 
In file included from /usr/bin/../lib/c++/v1/__locale:15: 
In file included from /usr/bin/../lib/c++/v1/string:434: 
In file included from /usr/bin/../lib/c++/v1/algorithm:591: 
/usr/bin/../lib/c++/v1/type_traits:748:38: fatal error: implicit instantiation of undefined template 'std::__1::hash<Point>' 
    : public integral_constant<bool, __is_empty(_Tp)> {}; 
            ^
/usr/bin/../lib/c++/v1/memory:1948:40: note: in instantiation of template class 'std::__1::is_empty<std::__1::hash<Point> >' 
     requested here 
           bool = is_empty<_T2>::value 
            ^
/usr/bin/../lib/c++/v1/memory:1970:44: note: in instantiation of default argument for '__libcpp_compressed_pair_switch<unsigned 
     long, std::__1::hash<Point>, false, false>' required here 
template <class _T1, class _T2, unsigned = __libcpp_compressed_pair_switch<_T1, _T2>::value> 
              ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 
/usr/bin/../lib/c++/v1/memory:2354:15: note: in instantiation of default argument for '__libcpp_compressed_pair_imp<unsigned long, 

     std::__1::hash<Point> >' required here 
    : private __libcpp_compressed_pair_imp<_T1, _T2> 
       ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 
/usr/bin/../lib/c++/v1/__hash_table:527:55: note: in instantiation of template class 'std::__1::__compressed_pair<unsigned long, 
     std::__1::hash<Point> >' requested here 
    __compressed_pair<size_type, hasher>    __p2_; 
                ^
/usr/bin/../lib/c++/v1/unordered_set:330:13: note: in instantiation of template class 'std::__1::__hash_table<Point, 
     std::__1::hash<Point>, std::__1::equal_to<Point>, std::__1::allocator<Point> >' requested here 
    __table __table_; 
      ^
./set.cpp:28:18: note: in instantiation of template class 'std::__1::unordered_set<Point, std::__1::hash<Point>, 
     std::__1::equal_to<Point>, std::__1::allocator<Point> >' requested here 
    points_set_t points; 
       ^
/usr/bin/../lib/c++/v1/memory:3076:29: note: template is declared here 
template <class _Tp> struct hash; 
          ^
1 error generated.  

UPD realizacja jest wykonywana przy użyciu @ mfontanini za sugestię: https://gist.github.com/vbo/6090142.

+0

Musisz podać funkcję skrótu/funktora. – juanchopanza

Odpowiedz

17

Aby std::unordered_set pracę z klasą Point można zapewnić std::hash specjalizacji dla niego:

namespace std 
{ 
template<> 
struct hash<Point> { 
    size_t operator()(const Point &pt) const { 
     return std::hash<int>()(pt.x)^std::hash<int>()(pt.y); 
    } 
}; 
} 

Można również zmienić std::unordered_set „s drugi parametr szablonu (domyślnie go do std::hash<Point>), co wskazuje, typ funktora, który zwraca wymagany skrót.

Wygląda na to, że próbowałeś wprowadzić tę implementację skrótu przez zdefiniowaną przez użytkownika konwersję na size_t, ale to nie zadziała. Fakt, że działa w VC, jest spowodowany błędem w ich implementacji.

+0

@juanchopanza prawo, tęskniłem za tym. Dzięki. – mfontanini

+0

OK, brzmi dobrze. Ale dlaczego działa w Visual Studio? – vbo

+0

@vbo, implementacja VC jest błędna, co powoduje, że twoja konwersja jest zdefiniowana przez użytkownika. – mfontanini