decltype и оператор области видимости в C++

Question

Мне нужно получить тип, который был предоставлен при создании экземпляра шаблона. Рассмотрим следующий пример:

template <typename T> struct Foo 
{ 
    typedef T TUnderlying; 
}; 

static Foo<int> FooInt; 

class Bar 
{ 
public: 
    auto Automatic() -> decltype(FooInt)::TUnderlying 
    { 
    return decltype(FooInt)::TUnderlying(); 
    } 
}; 

int main() 
{ 
    Bar bar; 
    auto v = bar.Automatic(); 
    return 0; 
} 

Проблема с этим кодом использует оператор области действия вместе с decltype. Visual C++ 2010 жалуется, как это:

ошибка C2039: «TUnderlying»: не является членом «'глобального пространства имен»»

Я собрал некоторую информацию по этой теме в Википедии:

Комментируя формальный проект Комитета для C++ 0x, японский орган-член ISO отметил, что «оператор области видимости (: :) не может быть применен к decltype, но это должно быть. Было бы полезно в случае получить тип члена (вложенный- тип) из экземпляра следующим образом: «[16]

vector<int> v; 
decltype(v)::value_type i = 0; // int i = 0; 

Это и подобные вопросы были рассмотрены Дэвидом Вандевоордом и проголосовали за рабочий документ в марте 2010 года.

Так что я считаю, что Visual C++ 2010 этого не реализовано. Я придумал это обходное решение:

template <typename T> struct ScopeOperatorWorkaroundWrapper 
{ 
    typedef typename T::TUnderlying TTypedeffedUnderlying; 
}; 

auto Automatic() -> ScopeOperatorWorkaroundWrapper<decltype(FooInt)>::TTypedeffedUnderlying 
{ 
    return ScopeOperatorWorkaroundWrapper<decltype(FooInt)>::TTypedeffedUnderlying(); 
} 

Я пропустил любое более элегантное и менее подробное решение?

Answer 1

Это прозрачно заменяет ключевое слово decltype шаблоном на основе обходного пути. После того, как вы больше не нужно поддерживать MSVC2010 вы можете удалить определение макроса без изменения кода пользователя:

#if _MSC_VER == 1600 
#include <utility> 
#define decltype(...) \ 
    std::identity<decltype(__VA_ARGS__)>::type 
#endif 

, который позволяет это скомпилировать и работать на MSVC10:

std::vector<int> v; 
decltype(v)::value_type i = 0; 

---

Заметьте, что std::identity не является частью стандарта C++, но безопасно полагаться на него здесь, поскольку обходной путь ограничивается компилятором, который включает в себя стандартную библиотечную реализацию std::identity.

Answer 2

Обходной путь выглядит относительно хорошо, но он не является расширяемым, а имена ужасны . Почему бы не использовать id?

template <typename T> 
struct id { 
    typedef T type; 
}; 

И потом:

id<decltype(FooInt)>::type::TUnderlying; 

проверялось, но должно работать.

---

Как и в тоже многословным и несмотря на то, что они описывают, что это временное решение, это может быть избыточным и не полезной информации в большинстве ситуаций.

Answer 3

В качестве альтернативы, вы можете легко вытащить тип, используя функцию шаблона помощника:

template <typename T> struct Foo 
{ 
    typedef T TUnderlying; 
}; 

static Foo<int> FooInt; 

template <typename T> 
typename Foo<T>::TUnderlying foo_underlying(Foo<T> const &) 
{ 
    return typename Foo<T>::TUnderlying(); 
} 

class Bar 
{ 
public: 
// auto Automatic() -> decltype(FooInt)::Underlying 
// { 
//  return decltype(FooInt)::Underlying; 
// } 
    auto Automatic() -> decltype(foo_underlying(FooInt)) 
    { 
     return foo_underlying(FooInt); 
    } 
}; 

int main() 
{ 
    Bar bar; 
    auto v = bar.Automatic(); 
}