kann mir jemand die funktionalitaet decltype in folgenden code erklaeren?

template <class KEY_T, class VAL_T> class LRUCache{
private:
        list<pair<KEY_T,VAL_T>> item_list;
        unordered_map<KEY_T, decltype(item_list.begin())> item_map;

koennte ich auch einen iterator speichern?

list<pair<KEY_T,VAL_T>>::iterator it;
unordered_map<KEY_T, it> item_map;

typedef typename list<pair<KEY_T,VAL_T>>::iterator it; // man beachte das typename
unordered_map<KEY_T, it> item_map;

macht das gleiche wie

unordered_map<KEY_T, decltype(item_list.begin())> item_map;

Aber eines ist kürzer, lesbarer und muss nicht angepasst werden, wenn man den Typ von item_list auf einen vector/deque ändert, weil man feststellt, dass das doch schneller ist.

warum klappt die def. des iterators nicht ohne dem typename, wuerde das mit c++98 compilieren?

typedef list<pair<KEY_T,VAL_T>>::iterator it;

struct Foo
{
	typedef int Type;
};
template<typename T>
void f1()
{
	T Instance; // Kein typename weil T nicht verschachtelt ist
}
void f2()
{
	Foo::Type Instance; // Kein typename weil Foo nicht abhängig ist
}
template<typename T>
void f3()
{
	typename T::Type Instance; // typename weil T abhängig ist und weil Type verschachtelt ist
}

decltype gekommt den type zur compiletime?

ja. anders wäre das gar nicht möglich mit einem starken typensystem wie es c++ hat.

cppcoder1 schrieb:

decltype gekommt den type zur compiletime?

ja. anders wäre das gar nicht möglich mit einem starken typensystem wie es c++ hat.

Es gibt da auch noch so Späßchen wie dynamic_cast und typeid, auch wenn sie kaum benutzt werden.

decltype(std::begin(item_list))

Es gibt da auch noch so Späßchen wie dynamic_cast und typeid, auch wenn sie kaum benutzt werden.

Es geht hier um Template-Argumente.