在我的发展历程中，今天我发现了一些我不明白为什么会发生的事情。
这应代表SI中的通用基本单位：

template<Ratio r, Symbol s>
struct base_unit {
    using ratio = r;
    using symbol = s;
};

因此，在我的公共接口中，我可以像这样定义一个基本维度：

template <typename Dimension>
struct base_dimension {
    using dimension = Dimension;
};

和一个像这样的混凝土底座：

struct mass : public base_dimension<mass> {};

因此，我想设计一个概念，检查单位内是否存在这些别名，例如，Kilogram：

struct Kilogram: public mass, public base_unit<Kilo, kg> {};

所以我继续，我写了这个概念，以约束未来的实现者：

template <typename T>
concept Unit = requires {  
    typename T::base_dimension::dimension;
    typename T::base_unit::ratio;
    typename T::base_unit::symbol;
};

但是，令我惊讶的是，我可以写这样的代码：

template <typename T>
concept OtherUnitConcept = requires {  
    typename T::dimension;
    typename T::ratio;
    typename T::symbol;
};

static_assert(Unit<Kilogram>);
static_assert(OtherUnitConcept<Kilogram>);

为什么我可以直接请求T的这些别名？这个想法是，我使用这些继承结构作为tag dispatching，我认为我应该总是采取完整的路线，T::base_dimension::dimension，因为T在它的主体定义中没有typename dimension，但base_dimension有一个，我很惊讶能够直接在结构T::dimension中找到dimension。
Here's a minimal working example