Dotaz: Dědění od std::vector

[qiRzT]

Zdravím, na mnoha místech na webu jsem našel, že to není dobrý nápad, ale vzhledem k tomu, že to potřebuju jen proto, abych prozkoumal, jak se chová jedna knihovna, tak mi nějakí ta prasárna nevadí. Zkoušel jsem následující:

template <class T> class mvect : public std::vector<T>
{
 public:
  const std::vector<T>::const_iterator begin() const
  {
   return std::vector<T>::begin();
  }
};

Není mi jasné, proč se od překladače dozvím, že:

vect.h:23: error: ISO C++ forbids declaration of 'const_iterator' with no type
vect.h:23: error: expected ';' before 'begin'
vect.h:29: error: expected `;' before '}' token

const_iterator je přeci součást vectoru, ne?

Uměl by mi to, prosím, někdo vysvětlit?

Díky.

---

---

Odpovědi

[Luboš Doležel (Doli)]

Aniž bych si myslel, že je to ten problém, tak ten první const je tam navíc. const_iterator je sám o sobě konstantní.

[Jirka P]

To je nesmysl. Mezi "ptr to const" (aka const_iterator) a "const ptr to const" je rozdíl (ačkoli nechci předjímat, který z významů měl básník na mysli).

[Sten]

const_iterator je třída a zde se předává hodnotou (tj. jako rvalue), takže to const tam je skutečně zbytečné. Když zapnete „-Wextra“, tak vás na to GCC upozorní.

[Jirka P]

Jestli je tam const potřebné si netroufám tvrdit, sám nejsem zastáncem návratových typů s const, ale existují lidé, kteří je propagují a mají pro to své důvody. Každopádně má vliv na okolní program, takže zbytečné tam asi nebude. Dalo by se to formulovat jako hádanka (najděte dva programy, které se liší jen const-kvalifikací návratového typu jedné funkce a dávají různé výsledky, příp. jen jeden lze přeložit), ale to by bylo moc lehké.

[Sten]

U referencí a pointerů má const smysl, protože předáváte lvalue (u pointerů pouze pro cílový typ, samotný poitner je rvalue), u předání hodnotou (rvalue; to je i ten const_iterator) ne. Tolik ISO standard. Klidně si to můžete vyzkoušet, že následující příklad vypíše stejnou chybu u getTest i getTestConst (volání protected konstruktoru), i když by podle vás měl první projít:

class Test
{
public:
    Test()
    {}

    Test(Test&)
    {}

protected:
    Test(const Test&);
}


Test getTest()
{
    return Test();
}


const Test getTestConst()
{
    return Test();
}


void test()
{
    Test t(getTest());
    Test t2(getTestConst());
}

Mimochodem C++2011 má taky rvalue jenom bez const (Test&&).

[Jirka P]

Ten váš příklad nedokazuje nic jiného, než že rvalue nelze použít tam, kde je očekávána lvalue, o const to neříká nic.

Jinak pokud se oháníte ISO standardem, měl byste připojit citaci, kde konkrétně zapovídá const u rvalue, případně kde vůbec mluví o smyslu čehosi. Dále si laskavě vyřešte hádanku a nevkládejte jiným do úst, co neřekli.

[qiRzT]

Prasárna to není, akorát tam potom chybně funguje použití předka místo potomka (včetně nevolání destruktoru potomka), takže na to musíte dávat pozor a řekl bych, že pro váš účel to fungovat nebude

Jinak vám tam chybí typename, protože jde o typ definovaný v šabloně:

const typename std::vector<T>::const_iterator begin() const

[qiRzT]

Díky Pro můj účel to funguje, dělá to přesně to, co jsem chtěl - tj. můžu snadno sledovat, kdy se ta metoda volá.