声明一个带有 void return 的模板函数，采用 typedef

问：

我已经查看了大多数相关帖子，但找不到与我的特定使用场景相关的回复。

代码如下图所示：

//classA.h file

#include <type_traits>
#include <iostream>

using std::is_same;
using std::cout;
using std::endl;

template<typename T> class A;
template<typename T>
using array2As = A<T>[2];

template<typename T> 
void doSomething(array2As);

template<typename T>
class A{
  public:
  A(T);
  private:
  friend void doSomething(array2As);
  A()=delete;
  A(const A&)=delete; 
  A& operator=(const A&)=delete;
  T elem;
};

template<typename T>
A<T>::A(T elem){
  static_assert(is_same<T,int>::value || is_same<T,double>::value, "Compilation error: type must be int or double");
  this.elem = elem;
}

template<typename T> void doSomething(array2As a){
  if(is_same<T,int>::value){ auto sz = sizeof(a)/sizeof(int);}
  else{auto sz = sizeof(a)/sizeof(double);}
  static_assert(2 == sz, "Compilation error: array must have exactly 2 elements");
 
  for(auto i=0; i<sizeof(a);++i){
   auto T& = a[i];
   cout << T.elem << endl;
 }

 return;
}

上面的代码没有编译，但你可以看到我打算做什么。我希望为同一模板类类型的两个实例的数组创建一个类型定义，然后在我的函数模板的声明中使用该类型定义。函数模板本身应该是模板类类型的友元函数。

我收到以下代码行的编译错误（由于以下原因，编译不会继续进行）：-Wfatal-errors

template<typename T> void doSomething(array2As);

错误是

error: variable or field 'doSomething' declared void

基于此错误，我认为编译器无法将 的类型定义与类型相关联。arra2AsT

那么如何才能做到这一点呢？

TIA系列

附言：

代码如下：main.cpp

#include "classA.h"

int main (){
 
 array2As a = {A(5),A(7)};
 doSomething(a);
 array2As b = {A(1.2),A(6.3)};
 doSomething(b);

 return 0;
}