【问题标题】:Why do I get an error in "forming reference to reference type" map?为什么我在“形成对引用类型的引用”映射中出现错误?
【发布时间】:2010-11-12 09:53:52
【问题描述】:

如果我需要使用引用,并且我传递的数据无法更改类型,因此我无法真正存储指向它的指针,还有什么替代方法?

代码:

    #include <map>     
    #include<iostream>
    #include<string>     

    using namespace std;

    int main()
    {
       string test;
       pair<string, string> p=pair<string, string>("Foo","Bar");
       map<pair<string, string>, string&> m;
       m[make_pair("aa","bb")]=test;

       return 0;
}

错误:

$ g++ MapPair.cpp /usr/include/c++/3.2.3/bits/stl_map.h: 在实例化 std::map<std::pair<std::string, std::string>, std::string&, std::less<std::pair<std::string, std::string> >, std::allocator<std::pair<const std::pair<std::string, std::string>, std::string&> > >': MapPair.cpp:15:
instantiated from here /usr/include/c++/3.2.3/bits/stl_map.h:221: forming reference to reference type
std::string&' MapPair.cpp: 在 函数int main()': MapPair.cpp:16: no match for std::map, std::string&, std::less >,
标准::分配器,
std::string&> > >& [std::pair]' 运算符 /usr/include/c++/3.2.3/bits/stl_pair.h: 在全球范围内: /usr/include/c++/3.2.3/bits/stl_pair.h: 在std::pair<const std::pair<std::string, std::string>, std::string&>': /usr/include/c++/3.2.3/bits/stl_tree.h:122: instantiated from std::_Rb_tree_node 的实例化中

我做错了什么导致这个错误?

【问题讨论】:

  • 我建议读者向下滚动到the answer given by Mozza314。最佳答案(在我写这篇文章的时候)已经过时了。
  • 你的意思是voltrevo给出的答案。相同的链接。

标签: c++ stl


【解决方案1】:

本质上,问题是是否可以在容器中使用引用。当然,如果你可以正确地准备你的班级AND你的容器。我在下面用两个简单的向量容器来演示它:vectoref 修改了 std::vector&lt;&gt; 和另一个 vec,它是从头开始实现的。

#include <iostream>
#include <vector>

// requires compilation with --std=c++11 (at least)

using namespace std;

class A {
  int _a; // this is our true data
  A *_p; // this is to cheat the compiler

  public:
  A(int n = 0) : _a(n), _p(0)
  { cout << "A constructor (" << this << "," << _a << ")\n"; }
  // constructor used by the initializer_list (cheating the compiler)
  A(const A& r) : _p(const_cast<A *>(&r))
  { cout << "A copy constructor (" << this << "<-" << &r << ")\n"; }
  void print() const {cout << "A instance: " << this << "," << _a << "\n";}
  ~A() {cout << "A(" << this << "," << _a << ") destructor.\n";}
  // just to see what is copied implicitly
  A& operator=(const A& r) {
    cout << "A instance copied (" << this << "," << _a << ")\n";
    _a = r._a; _p = r._p;
    return *this;
  }
  // just in case you want to check if instance is pure or fake
  bool is_fake() const {return _p != 0;}
  A *ptr() const {return _p;}
};

template<typename T, int sz>
class vec { // vector class using initializer_list of A-references!!
  public:
  const T *a[sz]; // store as pointers, retrieve as references
  // because asignment to a reference causes copy operator to be invoked
  int cur;
  vec() : cur(0) {}
  vec(std::initializer_list<T> l) : cur(0) {
    cout << "construct using initializer list.\n";
    for (auto& t : l) // expecting fake elements
      a[cur++] = t.ptr();
  }
  const T& operator[](int i) {return *a[i];}
  // expecting pure elements
  vec& push_back(const T& r) {a[cur++] = &r; return *this;}
  void copy_from(vec&& r) {
    for (int i = 0; i < r.cur; ++i)
      push_back(r[i]);
  }
};

template<typename T>
class vectoref : public vector<T *> { // similar to vec but extending std::vector<>
  using size_type = typename vector<T*>::size_type;
  public:
  vectoref() {}
  vectoref(std::initializer_list<T> l) {
    cout << "construct using initializer list.\n";
    for (auto& t : l) // expecting fake elements
      vector<T*>::push_back(t.ptr());
  }
  const T& operator[](size_type i) {return *vector<T*>::at(i);}
  // expecting pure elements
  vectoref& push_back(const T& r)
  { vector<T*>::push_back(&r); return *this; }
  void copy_from(const vectoref&& r) {
    for (size_type i = 0; i < r.size(); ++i)
      vectoref<T>::push_back(r[i]);
  }
};

class X { // user of initializer_list of A
  public:
  X() {}
  void f(initializer_list<A> l) const {
    cout << "In f({...}):\n";
    for (auto& a : l)
      a.ptr()->print();
  }
};

int main()
{
  A a(7), b(24), c(80);
  cout << "----------------------------------\n";
  vectoref<A> w{a,a,b,c}; // alternatively, use next line
  // vec<A,5> w{a,a,b,c}; // 5-th element undefined
  w[0].print();
  w[3].print();
  cout << "----------------------------------\n";
  X x;
  x.f({a,b,c,a,b,c,b,a});
  cout << "==================================\n";
  return 0;
}

【讨论】:

    【解决方案2】:

    您不能存储引用。引用只是aliases to another variable

    地图需要一个字符串的副本来存储:

    map<pair<string, string>, string> m;
    

    您收到该特定错误的原因是因为在地图的某处,它将对mapped_type 进行操作,在您的情况下为string&amp;。其中一项操作(例如在operator[] 中)将返回对mapped_type 的引用:

    mapped_type& operator[](const key_type&)
    

    您的mapped_type 将是:

    string&& operator[](const key_type& _Keyval)
    

    而且你不能有引用的引用:

    标准 8.3.4:

    不得有对引用的引用,不得有引用数组,也不得有指向引用的指针。


    附带说明,我建议您使用typedef,这样您的代码更易于阅读:

    int main()
    {
        typedef pair<string, string> StringPair;
        typedef map<StringPair, string> StringPairMap;
    
        string test;
    
        StringPair p("Foo","Bar");
        StringPairMap m;
        m[make_pair("aa","bb")] = test;
    
       return 0;
    

    }

    【讨论】:

      【解决方案3】:

      这里以前的答案已经过时了。今天我们将 std::reference_wrapper 作为 C++11 标准的一部分:

      #include <map>
      #include <iostream>
      #include <string>
      
      using namespace std;
      
      int main()
      {
          string test;
          pair<string, string> p = pair<string, string>("Foo", "Bar");
          map<pair<string, string>, reference_wrapper<string>> m;
          m[make_pair("aa", "bb")] = test;
      
          return 0;
      }
      

      std::reference_wrapper 将隐式转换为对其内部类型的引用,但这在某些情况下不起作用,在这种情况下,您调用 .get() 进行访问。

      http://en.cppreference.com/w/cpp/utility/functional/reference_wrapper

      【讨论】:

        【解决方案4】:

        您可以使用 boost::reference_wrapper 将引用存储在 STL 容器中。这是您修改的示例(未经测试,绝对不是写得很好,只是说明了一点)

        #include <map>     
        #include<iostream>
        #include<string>   
        #include <boost/ref.hpp>
        
        
        
        int main()
        {
           typedef std::pair< std::string, std::string> PairType;
           typedef std::map< PairType, boost::reference_wrapper<std::string> > MapType;
           std::string test = "Hello there!!";
           MapType m;
           PairType pp =  std::make_pair("aa","bb");
           m.insert(std::make_pair(pp , boost::ref(test) ) );
        
           MapType::iterator it (m.find( pp ) );
           if(it != m.end())
           {
               std::cout << it->second.get() << std::endl;
           }
        
           //change test
           test = "I am different now";
           std::cout << it->second.get() << std::endl;
        
           return 0;
        }
        

        【讨论】:

          【解决方案5】:

          由于模板的构建方式,您不能使用引用作为 val。你也可以用指针代替。

          【讨论】:

            猜你喜欢
            • 2021-04-21
            • 1970-01-01
            • 1970-01-01
            • 1970-01-01
            • 1970-01-01
            • 2022-06-21
            • 1970-01-01
            • 2017-03-03
            • 2016-06-10
            相关资源
            最近更新 更多