Armazenamento e vinculação em `Ponteiros em C`

Primeiro, o exercício é falho porque o escopo é sobre visibilidade de um nome, não acessibilidade de um objeto. Visibilidade significa que um nome pode ser usado no código-fonte. Acessibilidade significa que uma memória de objeto pode ser lida ou escrita.

Dito isto, a avariável do exercício é simples:

void y(void)
{
    // a is not in scope here; it is not visible.
}

int a = 1;

int x(void)
{
    return a;
}

Aqui aestá um int, sua classe de armazenamento é estática, sua vinculação é externa, é visível em x, não é visível em y, e é inicializado como 1.

bé um problema. O exercício diz que bnão deve haver ligação. C 2024 6.2.2 nos diz:

Os seguintes identificadores não têm vinculação: um identificador declarado como algo diferente de um objeto ou uma função; um identificador declarado como um parâmetro de função; um identificador de escopo de bloco para um objeto declarado sem o especificador de classe de armazenamento extern.

Vamos considerar cada um deles. Para o primeiro, há identificadores para coisas que não sejam objetos ou funções. No entanto, o exercício diz que a variável tem classe de armazenamento estática, mas classe de armazenamento é uma propriedade de objetos, conforme C 2024 6.2.4. Portanto, uma variável não pode ter um identificador sem vinculação e um objeto com duração de armazenamento estático.

Para o segundo e o terceiro, se um identificador for um parâmetro de função ou um identificador de escopo de bloco, então seu escopo é limitado ao seu bloco associado, que está dentro de uma função. Ele não pode ser visível em duas funções xe yem código C comum.

Uma maneira de contornar isso é que algumas implementações C têm extensões para permitir declarar funções dentro de funções. Nesse caso, bpoderia ser declarado no escopo do bloco dentro de uma função xe também ser visível dentro de uma função ydeclarada dentro de x. No entanto, duvido que essa fosse a intenção do exercício.

Mais provavelmente, é um erro no exercício, e o autor estava pensando em uma declaração para bque, na verdade, desse a ele uma ligação interna, não nenhuma ligação. Isso tem uma solução simples:

static char b = 2;

int y(void)
{
    return b;
}

int x(void)
{
    return b;
}

No entanto, retornando à descrição falha de escopo no exercício, há uma solução para tornar b acessível , não visível, para ambos xe y. A função ypode acessar um objeto bsem usar seu nome usando um ponteiro.

int y(char *p)
{
    // a is not visible or accessible here.
    // b is accessible via p.
    return *p;
}

int a = 1; // a is external and has static storage duration.

int x(void)
{
    static char b = 2; // b has no linkage and has static storage duration.
    return y(&b);      // Pass address of b to y.
}

Mas acho que é impossível escrever tais a e b. Alguém pode explicar isso?

É possível - a visibilidade do objeto também depende do escopo, mas apenas da vinculação e da duração do armazenamento.

int a = 1;
static char b = 2;

void y(int a)
{
      //global a is not accessible here
}

//or

void y(void)
{
      int a;
      //global a is not accessible here
}


void x(void)
{
}