0

重複の可能性:
Clang、std::shared_ptr、および std::less/operator<

ええ、タイトルはほとんどすべての問題です。以下のスニペットからわかるように、私は実装しoperator<たので、何が起こっているのかわかりません。

コードは次のとおりです。

namespace {

struct Transition {
    string name;
    StatePtr toState;

    Transition(string s = string(), StatePtr state = nullptr)
      : name(move(s))
      , toState(move(state))
    {}

    friend bool operator==(Transition const& lhs, Transition const & rhs) {
      return lhs.name == rhs.name && lhs.toState == rhs.toState;
    }

    friend bool operator<(Transition const & lhs, Transition const & rhs);
  };

  struct State {
    string name;
    set<TransitionPtr> transitions;

    explicit State(string s = string())
      : name(move(s))
    {}

    void addTransition(string s, StatePtr sp = nullptr){
      TransitionPtr new_t = make_transition(s, sp);
      for(auto& t : transitions){
        if(t == new_t){
          return;
        }
      }

      transitions.insert(move(new_t)); // This is where the error happens.
    }

  };
}

bool operator<(StateMachine::Transition const & lhs, StateMachine::Transition const & rhs) {
 return lhs.toState.get() < rhs.toState.get();
}

エラーメッセージは次のとおりです。

../llvm_opt_pass/cgd.cpp:3 からインクルードされたファイル: /srv/scratch/sigubufo/clang/stable/3.1_src/llvm/include/llvm/Instructions.h:23 からインクルードされたファイル: / からインクルードされたファイルsrv/scratch/sigubufo/clang/stable/3.1_src/llvm/include/llvm/ADT/ArrayRef.h:13: /srv/scratch/sigubufo/clang/stable/3.1_src/llvm/include/llvm からインクルードされたファイル内/ADT/SmallVector.h:24: /usr/lib/gcc/x86_64-linux-gnu/4.7/../../../../include/c++/4.7/memory:85 からインクルードされたファイル: /usr/lib/gcc/x86_64-linux-gnu/4.7/../../../../include/c++/4.7/bits/unique_ptr.h:486:14: エラー: 呼び出しに一致する関数がありません'std::less<_CT>' 型のオブジェクトへ return std::less<_CT>()(__x.get(), __y.get()); ^~~~~~~~~~~~~~~~

/usr/lib/gcc/x86_64-linux-gnu/4.7/../../../../include/c++/4.7/bits/stl_function.h:237:20: 注: 関数テンプレートのインスタンス化で特殊化 'std::operator<<::StateMachine::Transition, std::default_delete<::StateMachine::Transition>, ::StateMachine::Transition, std::default_delete<::StateMachine::Transition> >' が要求されましたここで { return __x < __y; } ^

/usr/lib/gcc/x86_64-linux-gnu/4.7/../../../../include/c++/4.7/bits/stl_tree.h:1285:13: 注: メンバー関数のインスタンス化で'std::less::StateMachine::Transition, std::default_delete<::StateMachine::Transition> > >::operator()' がここで要求されました __comp = _M_impl._M_key_compare(_KeyOfValue()(__v), _S_key(__x )); ^

/usr/lib/gcc/x86_64-linux-gnu/4.7/../../../../include/c++/4.7/bits/stl_set.h:424:9: 注: > 関数のインスタンス化でテンプレートの特殊化 'std::_Rb_tree::StateMachine::Transition, std::default_delete<::StateMachine::Transition> >, std::unique_ptr<::StateMachine::Transition, std::default_delete<::StateMachine:: Transition> >、std::_Identity::StateMachine::Transition、std::default_delete<::StateMachine::Transition> > >、std::less::StateMachine::Transition、std::default_delete<::StateMachine: :Transition> > >, std::allocator::StateMachine::Transition, std::default_delete<::StateMachine::Transition> > > ::_M_insert_unique::StateMachine::Transition, std::default_delete<::StateMachine: :Transition> > >' ここでリクエスト _M_t._M_insert_unique(std::move(__x));^

../llvm_opt_pass/cgd.cpp:72:17: 注: メンバー関数のインスタンス化で 'std::set::StateMachine::Transition, std::default_delete<::StateMachine::Transition> >, std::less ::StateMachine::Transition, std::default_delete<::StateMachine::Transition> > >, std::allocator::StateMachine::Transition, std::default_delete<::StateMachine::Transition> > > >:: insert' がここでリクエストされました transitions.insert(move(new_t)); ^

/usr/lib/gcc/x86_64-linux-gnu/4.7/../../../../include/c++/4.7/bits/stl_function.h:236:7: 注: 候補関数は実行できません:第 1 引数の 'pointer' (別名 '::StateMachine::Transition *') から '::StateMachine::Transition *&&&' への既知の変換はありません。operator()(const _Tp& __x, const _Tp& __y) const

4

2 に答える 2

1

さて、解決策はこの質問と同じです：Clang、std :: shared_ptr、std :: less /operator<。

基本的に、これはlibstdc++のtype_traitsのバグです。

于 2012-12-19T13:17:44.200 に答える
0

std::less の代わりにカスタム ファンクターを提供してみてください。

struct cmp  {
    bool operator() ( const Transition& lhs, const Transition& rhs )  {
        return lhs.toState.get() < rhs.toState.get();
     }
 };

std::set< Transition, cmp > transitions;
于 2012-12-19T21:05:44.817 に答える