templata仮引数にdecltypeで取得した配列の型を渡したい

Question

前提

templata仮引数にdecltypeで取得した配列の型を渡したく，下記コードの①のように配列を指定したのですが，なぜか配列の全体サイズが取得される。

実現したいこと

1. 下記コードの①のように，テンプレート仮引数にdeclttypeで取得した配列の型を渡して，メソッド内で配列の全体サイズではなく，配列の型を参照したいです。
2. 下記コードの②のように，template仮引数で配列の型を渡す際，配列の前にアスタリスクを指定すると正しく型を取得できているようです。しかし，アスタリスクを指定すると成功する理由がわからず。可能でしたら，こちらの方もご教授いただければ幸いです。

何卒よろしくお願いいたします。

該当のソースコード

// main.cpp
#include <iostream>

template <typename Type>
void PrintDecltype (void) {
	// 型の確認
	std::cout << sizeof(Type) << std::endl;
}

// main.hpp
#include "main.hpp"

int main(){
	unsigned short usArray[10] = {};
	PrintDecltype<decltype(usArray)>(); // 20Byte ---①
	PrintDecltype<decltype(*usArray)>();//  2Byte ---②
	return 0;
};

補足情報（FW/ツールのバージョンなど）

・mingw64

Answer 1

templata仮引数にdecltypeで取得した配列の型を渡したく，下記コードの①のように配列を指定したのですが，なぜか配列の全体サイズが取得される。
下記コードの②のように，template仮引数で配列の型を渡す際，配列の前にアスタリスクを指定すると正しく型を取得できているようです。

質問文にある「配列の型」とは、もしかして配列の要素型のことでしょうか？両者は異なる型情報です。

ある配列型（例：unsigned short [20]）から、その配列の要素型（例：unsigned short）を得るにはstd::remove_extentメタ関数を利用できます。

#include <iostream>
#include <type_traits>

template <typename ArrayType>
void PrintDecltype() {
  static_assert(std::is_array<ArrayType>::value, "require array type");  // 配列型以外をコンパイルエラー
  using ElementType = std::remove_extent_t<ArrayType>;
  std::cout << sizeof(ElementType);  // sizeof(unsigned short)
}

int main() {
  unsigned short usArray[10] = {};
  PrintDecltype<decltype(usArray)>();
}

Comments

[Feeam]

ご回答いただきありがとうございます！
やりたいことができました！

Answer 2

unsigned short usArray[10] だから
usArray の型は unsigned short[10] です。

*usArray は usArray[0] と同義。なのでその型は unsigned short です。