променливи шаблони същия брой аргументи на функцията като в класа

template<class T, int...Shape>
class Array {
  template<int>using index_t=int; // can change this
public:
  T& operator()(index_t<Shape>... is);
};

or:

template<class T, int...Shape>
class Array {
public:
  T& operator()(decltype(Shape)... is);
};

or:

template<class T, int...Shape>
class Array {
public:
  T& operator()(decltype(Shape, int())... is);
};

ако искате да можете да промените типа на параметъра, за да бъде различен от Shape.

Намирам decltype за по-трудно разбиране на докосване от using, особено ако искате да промените типа на параметъра, за да бъде различен от int.

Друг подход:

template<class T, int...Shape>
class Array {
public:
  template<class...Args,class=typename std::enable_if<sizeof...(Args)==sizeof...(Shape)>::type>
  T& operator()(Args&&... is);
};

който използва SFINAE. Въпреки това не налага, че Args са цели числа. Можем да добавим друга клауза, ако искаме (да речем, че всички Args са конвертируеми в int).

Още един подход е вашият operator() да вземе пакет от стойности, като std::array<sizeof...(Shape), int>. Обаждащите се ще трябва:

Array<double, 3,2,1> arr;
arr({0,0,0});

използвайте набор от {}s.

Крайният подход би бил:

template<class T, int...Shape>
class Array {
public:
  template<class...Args>
  auto operator()(Args&&... is) {
    static_assert( sizeof...(Args)==sizeof...(Shapes), "wrong number of array indexes" );
  }
};

където приемаме нещо, след това генерира грешки, ако това е грешен брой аргументи. Това генерира много чисти грешки, но не извършва правилното претоварване на SFINAE оператора.

Бих препоръчал изпращане на маркери, но не виждам начин да го направя много по-чист от решението SFINAE, с допълнителните decltype и всички, или по-добри съобщения за грешка от версията static_assert от друга страна.

Предполагам, че искате всичките ви аргументи да са от един и същи тип, вероятно с целочислен тип (просто ще използвам int). Лесен подход е да използвате пакета с параметри, който вече имате:

template <int>
struct shape_helper { typedef int type; };

template <typename T, int... Shape>
class Array
{
public:
    T& operator()(typename shape_helper<Shape>::type...);
};