8

次のコードを持っている

#include <memory>

int main() {
    std::shared_ptr<int> ptr0( new int );
    std::shared_ptr<int> ptr1( new int );

    bool result = ptr0 < ptr1;
}

clang(バージョン3.1、LLVM 3.1、Debian GNU / Linux Sid)でコンパイルすると、次のエラーが発生します

/usr/bin/../lib/gcc/x86_64-linux-gnu/4.7/../../../../include/c++/4.7/bits/shared_ptr.h:364:14: error: no matching function for call to object of type 'std::less<_CT>'
      return std::less<_CT>()(__a.get(), __b.get());
             ^~~~~~~~~~~~~~~~
foo.cpp:9:21: note: in instantiation of function template specialization 'std::operator<<int, int>' requested here
        bool result = ptr0 < ptr1;
                           ^
/usr/bin/../lib/gcc/x86_64-linux-gnu/4.7/../../../../include/c++/4.7/bits/stl_function.h:236:7: note: candidate function not viable: no known conversion from 'int *' to 'int *&&&' for
      1st argument;
      operator()(const _Tp& __x, const _Tp& __y) const
      ^

同じコードをGCC(バージョン4.7.0)でコンパイルしても、エラーメッセージはスローされません。clangの共有ポインターに対してoperator<()が機能しない理由はありますか?

4

1 に答える 1

12

clang++とlibstdc++はまだ完全には一致していません。次のいずれかを実行できます。

  • libc ++に切り替えます(を使用してclang++ -stdlib=libc++ -std=c++11 ...
  • 次のパッチをに適​​用します( http://clang.llvm.org/cxx_status.html/usr/include/c++/4.7.0/type_traitsに記載されています)。

    Index: include/std/type_traits
    ===================================================================
    --- include/std/type_traits (revision 185724)
    +++ include/std/type_traits (working copy)
    @@ -1746,7 +1746,7 @@
    
       template<typename _Tp, typename _Up>
         struct common_type<_Tp, _Up>
    -    { typedef decltype(true ? declval<_Tp>() : declval<_Up>()) type; };
    +    { typedef typename decay<decltype(true ? declval<_Tp>() : declval<_Up>())>::type type; };
    
       template<typename _Tp, typename _Up, typename... _Vp>
         struct common_type<_Tp, _Up, _Vp...>
    

チェックbits/shared_ptr.hすると、が見つかりましstd::common_typeた。clang開発者は、これは実際にはlibstdc ++のバグであると主張していますが、libstdc++のバグだけで存在しないタイプが表示されるとは思いませんint*&&&

于 2012-06-20T08:14:33.787 に答える