クラス内でエイリアス宣言した型を別クラスでtypenameなしで記述する方法

Question

クラステンプレートCの様に、クラステンプレート内にエイリアステンプレートを記述すると、クラステンプレートDから、それを型として使用するときに、typenameを記述しないとコンパイルエラーになります。
この様な場合でも、エイリアス宣言した型をtypenameなしで使用する方法は、ないのでしょうか。

B_tの様に、クラステンプレート外に記述されたエイリアステンプレートは、テンプレートクラスDで、typenameなしで使用できるので、同じ様にtypenameなしで記述できないのかと思いました。

#include <iostream>
#include <array>
#include <algorithm>

template <typename type>
class A {
public:
	typedef std::array<type, 3> A_t;
};

template <typename type>
using B_t = std::array<type, 3>;

template <typename type>
class C {
public:
	using C_t = std::array<type, 3>;
};

template <typename type>
class D {
public:
	typename A<type>::A_t a = {0, 1, 2};
	B_t<type> b = {3, 4, 5};
	typename C<type>::C_t c = {6, 7, 8};
};

int main() {
	D<int> d;
	std::for_each(d.a.begin(), d.a.end(), [](const auto& e) { std::cout << e << std::endl; });
	std::for_each(d.b.begin(), d.b.end(), [](const auto& e) { std::cout << e << std::endl; });
	std::for_each(d.c.begin(), d.c.end(), [](const auto& e) { std::cout << e << std::endl; });
}

Answer 1

こんにちは。

一般には、C<type>::C_tのC_tが型なのか、フィールドなのか、typeが決まらないと決めることができません。（Cを特殊化しC_tをフィールドとして定義することも文法的には可能ですから。）
コンパイラはデフォルトではC_tをフィールドとして処理し、フィールドでないことをコンパイラへ教えるためにtypenameを付けます。
ですので、クラス内で宣言した「型」を直接使う場合、typenameを省略することは無理と思います。

もちろん、クラス外でエイリアス・テンプレートを宣言すればtypenameを省略できます。

template <typename type>
class C {
public:
    using C_t = std::array<type, 3>;
};
template <typename type>
using C_t2 = typename C<type>::C_t;

template <typename type>
class D {
public:
    typename A<type>::A_t a = {0, 1, 2};
    B_t<type> b = {3, 4, 5};
//  typename C<type>::C_t c = {6, 7, 8};
    C_t2<type> c = {6, 7, 8};
};

なお、msvc 2015で確認してます。
MinGW 5.3.0では元のソースもstd::arrayの初期化にてエラーになります。{{...}}にすれば通ります。

Comments

[JADEN]

回答ありがとうございます。
C_t2の様に、再度usingすれば良い訳ですね。

ただ、C_t2はclass Cに起因する型なので、class Cのスコープからはずれて、宙ぶらりんになる感じが気になります(文法上仕方がないみたいなので、どうしようもないですが)。

std::arrayの初期化は、C++14で修正されたみたいですが、GCCは対応してないのでしょうか？(MinGWだから？)
http://cpprefjp.github.io/lang/cpp14/brace_elision_in_array_temporary_initialization.html

[catsforepaw]

> GCCは対応してないのでしょうか？(MinGWだから？)
gcc 4.8.5ではc++14は未対応ですね。エラーが出ます。clang 3.7.0は -std=c++11 でもちゃんと通ります。

[Chironian]

ubuntuのgcc 5.2.1でもだめでした。何故に対応していないのかは把握してません。
対応してくくれば生配列と同じように初期化できるので悩まなくて済むのですけどね。

Answer 2

クラステンプレートの場合、テンプレート引数が確定するまではクラスの中身は確定しないので、C_tを型として認識しません。C++の仕様でもtypenameを付けることを規定しています。

逆に、テンプレート引数が確定すればクラスの中身も確定するので、例えばC<int>::C_t c = {6, 7, 8};のようにtypenameなしでもコンパイルが通ります。

Comments

[JADEN]

回答ありがとうございます。