Q1

Ответ ОП правильный (D). На самом деле, поскольку глобальный i не изменяется во время выполнения P, нет никакой разницы между вызовом по необходимости и вызовом по значению.

Вот пример, когда это действительно имеет значение:

global int i = 100, j = 5;

void IncreaseTheGlobal() {
    i = i + 1;            // static scoping means this is the GLOBAL i!
    print(i);
}

void P(x) {
    int i = 10;
    IncreaseTheGlobal();  // 101 (increased global i)
    print(i);             //  10 (local i)
    print(x);             // 106 (x is evaluated; picks up increased global i)
    IncreaseTheGlobal();  // 102 (2nd time increased global i)
    print(x);             // 106 (x not re-evaluated; unaffected by 2nd increase)
}

main() {
    print(i);             // 100 (original global i)
    P(i + j);
    print(i);             // 102 (new global i)
}

Как уже указывал OP, при первой оценке x он получает любое значение, которое глобальное i имеет в данный конкретный момент. После этой первоначальной оценки x больше не будет зависеть от более поздней модификации глобального i.

Q2

Вызов по имени обычно используется в макроязыках. Так почему бы не использовать самый известный язык макросов: препроцессор C?

#include <stdio.h>

int i = 100, j = 5;

#define print(num)  printf("%d\n", num)

#define P(x) {     \
    int i = 10;    \
    print(x + 10); \
    i = 200;       \
    j = 20;        \
    print(x);      \
}

main() {
    P(i + j);
}

Скомпилируйте, запустите и посмотрите: 25, 220.

Вызов по имени работает с простым поиском и заменой; внутри тела P замените каждое вхождение x на i + j.

int i = 10; 
print(i + j + 10);    // 10 + 5 + 10 = 25
i = 200;
j = 20;
print(i + j);         // 200 + 20 = 220

Другими словами, i и j внутри i + j просто получают текущую стоимость того, что оказывается в области видимости, когда оценивается x.

Значит, правильный ответ Б, верно? Ну, почти... правильный ответ зависит от реализации print. Предположим, что print также практикует вызов по имени, и print определяет свою собственную локальную переменную i, тогда результат резко изменится. Попробуй это:

#define print(num)  { int i = 0; printf("%d\n", num); }

Теперь результат изменится на 15, 20.

Это, вероятно, самая важная причина, по которой динамическая область видимости плохо влияет на ремонтопригодность вашего кода. Изменения реализации в функции print (даже такие тривиальные изменения, как изменение имени локальной переменной) могут нарушить работу функций на более высоком уровне.

Во второй части это Позови по имени

Строка i=200 обновит локальный i

Теперь при вызове print(x) он будет заменен на print(i+j)=>print(200+20)=>220

Для Q1:

int i = 10; 
print(x + 10); // print (i + j + 10); prints 10 + 5 + 10 = 25; local i gets used here

i = 200; 
j = 20; 

print (x); // print (i + j); call by need ensures, no reevaluation and i + j is 15. 

Итак, ответ С - 25, 15