Можно ли объявить функцию преобразования, возвращающую ссылку на массив без typedef?
Вот функция преобразования, возвращающая ссылку на массив:
struct S {
typedef int int_array_20[20];
operator int_array_20& ();
};
Можно ли сделать то же самое без typedef? Что я пробовал:
struct S {
operator int (&()) [10];
};
но лязг жалуется
error: C++ requires a type specifier for all declarations
operator int (&()) [10];
~ ^
error: conversion function cannot have any parameters
operator int (&()) [10];
^
error: must use a typedef to declare a conversion to 'int [10]'
error: conversion function cannot convert to an array type
Имеет:
необходимо использовать typedef для объявления преобразования в ‘int [10]’
имею в виду typedef это обязательно?
РЕДАКТИРОВАТЬ
Если typedef необходимо, невозможно создать шаблон функции преобразования, как показано ниже, потому что не удалось определить typedef шаблон, это правильно?
struct S {
template<typename T, int N>
operator T(&())[N];
};
Решение
Да, это действительно необходимо, мы можем увидеть это, перейдя в раздел cppreference определяемое пользователем преобразование который говорит:
Операторы функций и массивов [] или () не допускаются в
декларатор (таким образом, преобразование в типы, такие как указатель на массив требует
typedef: см. ниже). Независимо от typedef, ID-типа-преобразования
не может представлять массив или тип функции.
Мы можем найти это в проекте стандарта C ++ 12.3.2 Функции преобразования который говорит:
ID-типа преобразования не должен представлять тип функции или
тип массива. Идентификатор типа преобразования в идентификаторе функции преобразования
максимально длинная последовательность преобразования-деклараторов. [Примечание: это
предотвращает неясности между оператором объявления * и его
выражения коллег. [ Пример:&ac.operator int*i; // syntax error: // parsed as: &(ac.operator int *)i // not as: &(ac.operator int)*i* Является декларатором указателя, а не оператором умножения. — конец примера] — конец заметки]
и грамматика для Преобразование типа-идентификатор как следует:
conversion-type-id: type-specifier-seq conversion-declaratoropt conversion-declarator: ptr-operator conversion-declaratoropt
который более ограничен, чем описатель чья грамматика выглядит так:
declarator: ptr-declarator noptr-declarator parameters-and-qualifiers trailing-return-type ptr-declarator: noptr-declarator ptr-operator ptr-declarator noptr-declarator: declarator-id attribute-specifier-seqopt noptr-declarator parameters-and-qualifiers noptr-declarator [ constant-expressionopt] attribute-specifier-seqopt ( ptr-declarator )
Одна из альтернатив, о которой упоминал Крис, заключалась в использовании класса идентичности:
template <typename T>
struct identity
{
typedef T type;
};
вы бы использовали его следующим образом:
operator typename identity<int(&)[10]>::type() ;
Другие решения