typeのエイリアスをfinalとしてマークすることはできますか（つまり、派生クラスでは再定義できません）。 #include <iostream>
class B{
public: using type=std::string;
};
class D : public B{
public: using type=int; //<--- [1] I want a com
私はそのように、「自然」タイプを定義しようとしました： typedef unsigned int nat;
しかし、私はNATの変数を定義した場合、その変数は、通常のint型のように振る舞う：履歴書で nat natural_index;
natural_index = 10; // That's what I want.
natural_index = -10; // Still a v
私はそれにtypedefキーワードを含むクラスで教えられた講義スライドの1つを通っていました。 typedefキーワードの通常の使用とは対照的に、通常は特定のデータのエイリアスを置いていますが、その例ではエイリアスはありませんでした。以下はその例です：See the typedef in the slide typedefの使用は正しいですか、それとも別の解釈ですか？