Passando uma matriz por referência

184

Como funciona a passagem de uma matriz alocada estaticamente por referência?

void foo(int (&myArray)[100])
{
}

int main()
{
    int a[100];
    foo(a);
}

Tem (&myArray)[100]algum significado ou é apenas uma sintaxe para passar qualquer matriz por referência? Eu não entendo parênteses separados seguidos por grandes colchetes aqui. Obrigado.

c++ arrays

— John DB
fonte

Existe alguma relação Rvalue para Lvalue com os parâmetros de função?

— John DB

possível duplicata de O que é útil sobre um parâmetro de referência à matriz?

— AnT

Possível duplicata de O que é útil sobre um parâmetro de referência a matriz?

— Anatolyg

228

É uma sintaxe para referências de matriz - você precisa (&array)esclarecer ao compilador que deseja uma referência a uma matriz, em vez da matriz (inválida) de referências int & array[100];.

EDIT: Alguns esclarecimentos.

void foo(int * x);
void foo(int x[100]);
void foo(int x[]);

Essas três são maneiras diferentes de declarar a mesma função. Eles são todos tratados como int *parâmetros, você pode passar qualquer tamanho de matriz para eles.

void foo(int (&x)[100]);

Isso aceita apenas matrizes de 100 números inteiros. Você pode usar com segurança sizeofemx

void foo(int & x[100]); // error

Isso é analisado como uma "matriz de referências" - o que não é legal.

— Erik
fonte

Por que não podemos ter uma variedade de referências, por exemplo int a, b, c; int arr[3] = {a, b, c};?

— Vorac

4

Aha, descobri o porquê .

— Vorac

2

Alguém poderia explicar por que void foo(int & x[100]);é analisado como "matriz de referências", por favor? É porque a regra "da direita para a esquerda"? Se sim, parece não ser consistente com o modo como void foo(int (&x)[100]);é analisado como "uma referência a uma matriz". Desde já, obrigado.

— Zl9394

3

Não é da direita para a esquerda, é de dentro para fora e [] se liga mais firmemente que &.

— Philipxy #

48

É apenas a sintaxe necessária:

void Func(int (&myArray)[100])

^ Passe um array de 100 intpor referência, o nome dos parâmetros é myArray;

void Func(int* myArray)

^ Passe uma matriz. A matriz deteriora para um ponteiro. Assim, você perde informações de tamanho.

void Func(int (*myFunc)(double))

^ Passe um ponteiro de função. A função retorna inte leva a double. O nome do parâmetro é myFunc.

— Martin York
fonte

Como passamos uma matriz de tamanho variável como referência?

— Shivam Arora

@ShivamArora Você molda a função e transforma o tamanho em um parâmetro de modelo.

— Martin York

24

É uma sintaxe. Nos argumentos da função, int (&myArray)[100]parênteses que envolvem o &myArraysão necessários. se você não usá-los, passará um array of referencese isso ocorre porque o subscript operator []arquivo tem maior precedência sobre o arquivo & operator.

Por exemplo int &myArray[100] // array of references

Portanto, usando type construction ()você diz ao compilador que deseja uma referência a uma matriz de 100 números inteiros.

Por exemplo int (&myArray)[100] // reference of an array of 100 ints

— cpx
fonte

"se você não usá-los, passará um array of references" - o que, é claro, não pode existir, então você receberá um erro de compilação. É divertido para mim que as regras de precedência do operador insistem que isso deve acontecer por padrão de qualquer maneira.

— Underscore_d

Existe mais algum tutorial sobre o tipo construction ()?

— Chief Shifter

Obrigado, eu precisava de uma explicação que incluísse o motivo da precedência do operador, o que dá uma ideia do motivo pelo qual isso deve ser feito dessa maneira.

— Cram2208 7/11

4

Matrizes são passadas por ponteiros por padrão. Você pode tentar modificar uma matriz dentro de uma chamada de função para entender melhor.

— Eduardo A. Fernández Díaz
fonte

2

Matrizes não podem ser passadas por valor. Se a função recebe um ponteiro, uma matriz decai para um ponteiro para seu primeiro elemento. Não tenho certeza do que você está tentando dizer aqui.

— Ulrich Eckhardt

@UlrichEckhardt Estou tentando dizer que "Matrizes não podem ser passados por valor", como você disse antes, eles são padrão passados por referência

— Eduardo A. Fernández Díaz

8

A matriz não é passada por valor nem por referência. Eles são passados por ponteiros. Se matrizes são passadas por referência por padrão, você não terá problemas ao usar sizeof nelas. Mas esse não é o caso. Matrizes decaem para ponteiros quando passadas para uma função.

— User3437460

2

As matrizes podem ser passadas por referência OU degradando para um ponteiro. Por exemplo, usando char arr[1]; foo(char arr[])., arr é degradado em um ponteiro; enquanto estiver usando char arr[1]; foo(char (&arr)[1]), arr é passado como referência. É notável que a forma anterior seja frequentemente considerada mal formada, pois a dimensão está perdida.

— Zl9394

Re, "Matrizes são ... passadas por ponteiros". Essa descrição parece pouco convencional, na melhor das hipóteses, e pode ser confusa para iniciantes. O nome de uma variável da matriz é uma expressão válida cujo valor é um ponteiro para o primeiro membro da matriz. Se você tem alguma função foo(T* t)e tem uma matriz T a[N];, quando escreve foo(a);, acho que seria mais correto dizer que você está passando um ponteiro, não passando uma matriz e passando o ponteiro por valor.

— Solomon Slow

1

A seguir, cria-se uma função genérica, utilizando como referência uma matriz de qualquer tamanho e tipo:

template<typename T, std::size_t S>
void my_func(T (&arr)[S]) {
   // do stuff
}

brinque com o código.

— Usuário12547645
fonte