В следующих,
int i{3};
const int j{3};
extern const int k{3};
template <typename T, T&>
void f() {}
int main()
{
f<int, i>(); // OK
f<int const, j>(); // not valid template argument: 'j' has not external linkage
f<int const, k>(); // OK
}
GCC выдает ошибку при использовании j в качестве параметра шаблона, в то время как clang компилируется нормально.
i, j?const / не const?Как указывает Керрек в комментарии, переменные уровня пространства имен const имеют внутреннюю связь (если вы не используете ключевое слово extern). В C ++ 03 нельзя использовать указатель или ссылку на переменную с внутренней связью в качестве аргумента шаблона, не являющегося типом. Это ограничение снято в C ++ 11. Кажется, что ваша версия gcc играет по правилам C ++ 03, а компилятор clang использует правила C ++ 11.
14.3.2 [temp.arg.nontype] / 1
аргумент-шаблон для не типового, не шаблонного параметра-шаблона должен быть одним из:
- [...]
- постоянное выражение (5.19), которое обозначает адрес объекта с длительностью статического хранения и внешней или внутренней связью или функцию с внешней или внутренней связью, включая шаблоны функций и идентификаторы шаблонов функций, но исключая не- статические члены класса, выраженные (без учета скобок) как & id-expression, за исключением того, что & может быть опущено, если имя относится к функции или массиву, и должно быть опущено, если соответствующий параметр шаблона является ссылкой; или
- [...]
-std=c++11 или без него? Если вы собираете C ++ 11 и это не удается, то это ошибка. Clang ++ в основном вырос с мышлением C ++ 11, он (неправильно?) Делает некоторые вещи так же, как C ++ 11, даже в режиме C ++ 03.
- person David Rodríguez - dribeas; 06.05.2014
i имеет внешнюю связь, а j - внутреннюю. Эти правила перечислены в разделе §3.5 [basic.link]
4 Безымянное пространство имен или пространство имен, объявленное прямо или косвенно в безымянном пространстве имен, имеет внутреннюю связь. Все остальные пространства имен имеют внешнюю связь. Имя, имеющее область действия пространства имен, которому не была присвоена внутренняя связь выше, имеет ту же связь, что и охватывающее пространство имен, если это имя
- переменной; или
- ...
Глобальное пространство имен имеет внешнюю связь, следовательно, i также имеет внешнюю связь (поскольку она явно не объявлена как имеющая внутреннюю связь).
3 Имя, имеющее область пространства имен (3.3.6), имеет внутреннюю связь, если это имя
- ...
- энергонезависимой переменной, которая является явно объявленные const или constexpr, но не объявленные явно extern и ранее не объявленные как имеющие внешнюю связь; или
- ...
j явно объявлен const без объявления extern, следовательно, он имеет внутреннюю связь.
Я считаю, что clang является правильным в этом случае из-за §14.3.2 / 1 [temp.arg.nontype]
аргумент-шаблон для не-типа, не шаблона параметр-шаблона должен быть одним из:
- ...
- константа выражение (5.19), которое обозначает адрес полного объекта со статической продолжительностью хранения и внешней или внутренней связью ...
j удовлетворяет вышеуказанному требованию и должен быть разрешен как аргумент, не являющийся типом.
&j не обозначает адрес, а j обозначает переменную? Или это ссылочная переменная означает, что она обозначает адрес?
- person Yakk - Adam Nevraumont; 05.05.2014
static const, у которого отсутствует определение, приводит к ошибке компоновщика, как и получение его адреса.
- person Praetorian; 05.05.2014
static const (или интегрального типа), потому что он odr-used, а привязка ссылки или получение адреса являются odr-uses. Но да, кроме педантичных подробностей, чтобы сослаться на объект, нужно знать, где он живет, его адрес.
- person David Rodríguez - dribeas; 05.05.2014
Это ошибка, однако она известна (и она еще не реализована, по крайней мере, до gcc 4.9).
Вот отчет об ошибке.
Я ожидаю, что в gcc 5.0 это будет реализовано, поскольку 5.0 добавляет много новых функций C ++ 11.
constс ограниченным пространством имен имеют внутреннюю связь. - person Kerrek SB schedule 05.05.2014