Макрос Variadic без аргументов для своего параметра variadic

Законно ли вызывать вариадный макрос M без аргументов для его параметра variadic?

Соответствующая стандартная цитата [Cpp.replace] / 4:

Если список идентификаторов в определении макроса не заканчивается многоточием, число аргументов (включая те аргументы, которые не содержат токены предварительной обработки) при вызове функционально-подобного макроса должно равняться количеству параметров в определении макроса. В противном случае в вызове должно быть больше аргументов, чем параметров в определении макроса (исключая ...). Там должно существовать ) маркер предварительной обработки, завершающий вызов.

Для случая без невариантных параметров вызов в виде M() должен быть допустимым, поскольку вызов имеет один аргумент (состоящий из токенов предварительной обработки). Таким образом, есть еще один аргумент, чем невариантные параметры.

Для случая с одним невариантным параметром, должен ли быть трейлинг , как в M(1,) ввести аргумент, состоящий из жетонов предварительной обработки для параметра вариации? В противном случае количество аргументов будет равно количеству невариантных параметров. т.е.

#define variadic(x,...) #__VA_ARGS__

variadic(1,) // 2 arguments: ok
variadic(1) // 1 argument: wrong?

И то и другое лязг а также НКУ, однако примите следующий тестовый пример:

#include <iostream>

#define variadic(x,...) #__VA_ARGS__

int main()
{
std::cout << "'" variadic(1) "'" << std::endl;
}

и производить в качестве выхода:

''

Это нестандартное поведение?