Início / coding / Perguntas / 77602487
Accepted
gulpr
Asked: 2023-12-05 04:50:37 +0800 CST

O comportamento desta função está definido?

  • 772
int *shiftRmemmove(int *arr, size_t size)
{
    if(arr && size)
    {
        memmove(arr + size - 1, arr + size - 2, (size - 1) *sizeof(*arr));
        arr[0] = 0;
    }
    return arr;
}

Está definido se size == 1? Está calculando e passando referência ao elemento do array um * antes do primeiro elemento. é equivalente a: memove(arr, arr -1, 0); (©Jabberwocky)

c

3 respostas

  1. Se arrfor um ponteiro para o primeiro elemento de uma matriz e se sizefor 1, mesmo a tentativa de formar o endereço arr + size - 2é um comportamento indefinido. Isso está explicado na Norma C (C23 Draft Standard 6.5.6 9):

    Quando uma expressão que possui tipo inteiro é adicionada ou subtraída de um ponteiro,.... Se o operando do ponteiro e o resultado não apontam para elementos do mesmo objeto array ou um após o último elemento do objeto array, o comportamento é indefinido.

    • 5

  2. Conforme mencionado no padrão C cap. 7.24.1 subcláusula 2 (aplica-se a todas as funções em <string.h>- grifo meu):

    Onde um argumento declarado como size_t n especifica o comprimento do array para uma função, n pode ter o valor zero em uma chamada para essa função. A menos que explicitamente indicado de outra forma na descrição de uma função específica nesta subseção, os argumentos de ponteiro em tal chamada ainda deverão ter valores válidos , conforme descrito em 7.1.4. Nessa chamada, uma função que localiza um caractere não encontra nenhuma ocorrência, uma função que compara duas sequências de caracteres retorna zero e uma função que copia caracteres copia zero caracteres.

    então você está formando uma chamada:

    memove(arr, arr -1, 0);

    onde o segundo argumento (ponteiro) não tem valor válido. O padrão proíbe explicitamente a formação de tais ponteiros, uma vez que o capítulo 7.1.4 (apontado pela primeira citação) menciona que:

    Se um argumento para uma função tiver um valor inválido (como um valor fora do domínio da função, ou um ponteiro fora do espaço de endereço do programa, ou um ponteiro nulo, ou um ponteiro para armazenamento não modificável quando o parâmetro correspondente não é qualificado como const) ou um tipo (após promoção de argumento padrão) não esperado por uma função com um número variável de argumentos, o comportamento é indefinido .

    Veredicto: o padrão proíbe explicitamente isso. O comportamento é indefinido.

    • 3
  3. Best Answer

    arré um ponteiro, mas, a partir dos comentários, pretendemos assumir que ele aponta para o elemento 0 de algum array A.

    Considere a expressão arr + size - 2. arr + sizeé incontroverso; aponta para &A[1], mesmo que Aseja um array de 1 elemento, então esse &A[1]é o endereço “logo além” do último elemento do array.

    Para arr + size - 2, efetivamente &A[1] - 2, consideramos C 2018 6.5.6 8:

    Se o operando do ponteiro apontar para um elemento de um objeto de matriz, e a matriz for grande o suficiente, o resultado aponta para um deslocamento do elemento do elemento original, de modo que a diferença dos subscritos dos elementos da matriz resultante e original seja igual à expressão inteira. Em outras palavras, se a expressão Paponta para o i -ésimo elemento de um objeto array, as expressões (P)+N(equivalentemente, N+(P)) e (P)-N(onde Ntem o valor n ) apontam para, respectivamente, o i + n -ésimo e i − n -ésimo elementos do objeto array, desde que existam [ênfase adicionada]…

    Esta passagem não define o resultado &A[1] - 2porque o elemento do array Acom índice −1 não existe. Isto por si só é suficiente para tornar o comportamento não definido, porque nada mais na norma o define, e C 2018 4 2 nos diz “O comportamento indefinido é indicado de outra forma neste documento… pela omissão de qualquer definição explícita de comportamento”. No entanto, 6.5.6 8 continua:

    … Se tanto o operando do ponteiro quanto o resultado apontarem para elementos do mesmo objeto array, ou um após o último elemento do objeto array, a avaliação não deve produzir um overflow; caso contrário, o comportamento é indefinido…

    Aqui o operando ponteiro ( &A[1]) e o resultado ( &(A[-1]) não apontam para elementos do mesmo objeto array ou de um objeto anterior a ele, portanto o comportamento é indefinido.

    A avaliação de arr + size - 2ocorre antes memmovede ser chamada, portanto, se memmoveusa seu parâmetro correspondente é irrelevante; o comportamento já está indefinido.

    • 1

relate perguntas