В макросе envSet (имя) GNU C, что означает (void) ""?

Question

я наткнулся на этот синтаксис сегодня и не мог понять, что это значит:

// Uses the GNU C statement expression extension 
#define envSet(name) ({ \ 
static int initialised; \ 
static bool set; \ 
(void) "" name; \ 
if (!initialised || !g_cacheEnv) { \ 
    const char *value = getenv(name); \ 
    set = value != NULL; \ 
    initialised = true; \ 
} \ 
set; \ 
}) 

Специфическая линия, которую я не могу понять:

(void) "" name; \ 

Может кто-нибудь, пожалуйста, пролить некоторый свет на это?

Answer 1

Это похоже на способ статически гарантировать, что name является строковым литералом, а не каким-либо другим типом.

Если вы делаете (void)"" "hello";, то это действительное выражение C.

Но если вы сделаете что-то вроде (void)"" 1;, тогда вы получите синтаксическую ошибку.

Answer 2

Два последовательных строковых литерала объединяются. Предположительно, он проверяет, является ли name строковым литералом. Если это не так, компилятор сообщит об ошибке.

(void) литье будет подавлять предупреждения как «заявление без эффекта».

Answer 3

Ознакомившись с кодом, я считаю, что цель состоит в том, чтобы он вызывал getenv при первом вызове, кешировал результат, а затем после этого использовал кешированный результат без необходимости звонить getenv. Если getenv используется со строковым литералом, то все последующие вызовы будут запрашивать одну и ту же переменную среды; если ничто не может изменить эту переменную среды, они, следовательно, возвратят тот же результат. Если в коде был указан указатель на строку, которая впоследствии была изменена, результат кэширования, скорее всего, не был бы правильным для новой строки, поэтому цель трюка - убедиться, что этого не произойдет.

Поскольку каждый строковый литерал, который может быть использован, должен иметь связанную с ним статическую переменную, указанный фрагмент кода не может быть разумно преобразован в функцию. С другой стороны, количество кода, необходимого для каждого повторения, выглядит немного. Кроме того, если одна и та же переменная тестируется более чем в одном месте в коде, каждый из них может иметь свой собственный набор переменных и код проверки среды.

В зависимости от того, как эта функция будет использоваться, она может оказаться намного быстрее, чем код, который должен проверять переменную окружения каждый раз, когда он вызывается, и может использоваться из функции, вызываемой в цикле без (если клиентский код называется функцией «предварительной настройки», там должен быть проверен поиск имени, что исключает необходимость проверки внутри цикла, чтобы проверить, был ли поиск выполнен).