Почему я получаю сообщение об ошибке «Формирование ссылки на тип ссылки»? - PullRequest
21 голосов
/ 20 июля 2009

Какая альтернатива, если мне нужно использовать ссылку, и данные, которые я передаю, я не могу изменить тип, следовательно, я не могу действительно сохранить указатель на нее?

Код:

    #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:<br> instantiated from here /usr/include/c++/3.2.3/bits/stl_map.h:221: forming reference to reference type std :: string & 'MapPair.cpp: In функция 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

Что я делаю не так, чтобы вызвать эту ошибку?

Ответы [ 5 ]

33 голосов
/ 20 июля 2009

Вы не можете хранить ссылки. Ссылки - это просто псевдонимы другой переменной .

Для сохранения карты требуется копия строки:

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

Причина, по которой вы получаете эту конкретную ошибку, заключается в том, что где-то на карте будет выполняться операция на mapped_type, которая в вашем случае равна string&. Одна из этих операций (как, например, в 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;

}

20 голосов
/ 13 июля 2013

Предыдущие ответы здесь устарели. Сегодня у нас есть 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

9 голосов
/ 21 июля 2009

Вы можете использовать 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;
}
2 голосов
/ 20 июля 2009

Вы не можете использовать ссылки в качестве значения, из-за того, как построен шаблон. Вы также можете использовать указатель вместо этого.

1 голос
/ 10 декабря 2017

По сути, вопрос , если вы можете использовать ссылки в контейнерах . Конечно, вы можете ЕСЛИ правильно подготовить свой класс И свой контейнер. Ниже я продемонстрирую это с двумя простыми векторными контейнерами: vectoref, который изменяет std::vector<>, и другой, 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;
}
Добро пожаловать на сайт PullRequest, где вы можете задавать вопросы и получать ответы от других членов сообщества.
...