Скажите, пожалуйста, как Стандарт C++ регламентирует доступ ко вложенному члену-типу шаблонного типа при условии, что вложенный член-тип не зависит от шаблонных параметров объемлющего типа?
Например:
template <typename X>
class Type
{
public:
class SubType
{
};
};
using Alias = typename Type::SubType;// How can I do that?
То есть, возможно ли получить доступ к Type::SubType
извне Type
без указания параметров шаблона? Если да, то как это сделать? Если нет, то почему?