Início / coding / Perguntas / 79423660
Accepted
user2138149
Asked: 2025-02-09 01:49:59 +0800 CST

Subtrair dois ponteiros para o mesmo tipo faz sentido se esses ponteiros apontam para itens em matrizes diferentes? [duplicado]

  • 772

Essa é uma pergunta meio boba, mas acho interessante.

Eu estava experimentando ponteiros e alinhamento e me perguntei se seria possível subtrair dois ponteiros diferentes, cada um apontando para itens em matrizes diferentes.

Normalmente, espera-se que a subtração de dois ponteiros produza um valor que representa o número de elementos entre dois itens em uma matriz.

Por exemplo, aqui está um código válido que funciona conforme o esperado:

unsigned short *p_short = new unsigned short[100];
unsigned short *p_1 = &p_short[10];
unsigned short *p_2 = &p_short[20];

std::cout << p_2 - p_1 << std::endl;
// should produce the value `10`.
// There are 10 `unsigned short`s between the
// two pointers.
// Note: NOT `20`. The subtraction does not
// calulate the number of bytes between the
// two pointers.
  • Não é possível, se os arrays forem arrays de tipos diferentes. Isso produz um erro de tipo.
  • É possível se os ponteiros forem do mesmo tipo, mas apontarem para elementos de matrizes diferentes.

Entretanto, no último caso, o resultado da subtração é significativo?

Exemplo possível com saída: Este é um exemplo de algo que provavelmente não produzirá um resultado significativo.

auto p1 = new unsigned short[100];
auto p2 = new unsigned short[100];
std::cout << p2 - p1 << std::endl;

Saída: 104.

(No entanto, já vi outros valores, como -6148914691236517216.)

c++

3 respostas

  1. Best Answer

    O resultado não é apenas insignificante, mas também resulta em um comportamento indefinido:

    De [expr.add] :

    Quando duas expressões de ponteiro Pe Qsão subtraídas, o tipo do resultado é um tipo integral assinado definido pela implementação; esse tipo deve ser o mesmo tipo definido std​::​ptrdiff_tno <cstddef>cabeçalho ([support.types.layout]).

    • Se Pambos Qforem avaliados como valores de ponteiro nulos, o resultado será 0.
    • Caso contrário, se Pe Qapontam para, respectivamente, elementos do array ie jdo mesmo objeto do array x, a expressão P - Qtem o valor i−j.
    • Caso contrário, o comportamento é indefinido.
    • 6

  2. Qualquer aritmética de ponteiro entre ponteiros para itens em diferentes matrizes terá um comportamento indefinido .

    Diante disso, qualquer resultado que você veja é um resultado válido.

    • 1

  3. O comportamento de subtrair dois ponteiros que apontam para objetos diferentes é indefinido. Uma das outras respostas citou a parte relevante do padrão C++.

    No entanto, na maioria das plataformas, o resultado que você obtém será a diferença entre os dois endereços para os quais os ponteiros apontam, dividido pelo tamanho do objeto para o qual os ponteiros apontam. Se o resultado for negativo, isso provavelmente significa que o primeiro operando aponta para um endereço menor do que o segundo operando.

    • 0

relate perguntas