Другой формат ошибки формата в GCC?

Question

GCC имеет очень подробный формат для некоторых сообщений об ошибках шаблона:

... some_class<A,B,C> [with int A = 1, int B = 2, int C = 3]

Любой шанс заставить его показать что-то вроде:

... some_class<1,2,3>

Answer 1

Вы потеряете трек от того, из какого шаблона происходит специализация:

template<int A, int B> class X {
  void f();
};

template<int A> class X<A, 2> {
  void f();
};

int main() {
  X<1, 2>().f();
  X<2, 1>().f();
}

GCC выводит

m.cpp: In function 'int main()':
m.cpp:6:12: error: 'void X<A, 2>::f() [with int A = 1]' is private
m.cpp:10:19: error: within this context
m.cpp:2:12: error: 'void X<A, B>::f() [with int A = 2, int B = 1]' is private
m.cpp:11:19: error: within this context

Если бы просто сказали X<1, 2> и X<2, 1>, вы бы потеряливажная информация, содержащаяся в этой диагностике.

Answer 2

Используйте опцию -fno-pretty-templates. Это делает то, что вы хотите, а также пропускает аргументы шаблона по умолчанию.

Answer 3

Нет, если вы не хотите поддерживать частную ветку источника GCC.

Хотя это разумно для шаблонов классов, шаблоны функций могут перегружаться друг против друга и иметь разные списки аргументов шаблона для одной и той же функции. Тогда последний тип ошибки будет неоднозначным.