Блог

Я опробовал переменные шаблона в VC (на данный момент установлены все последние обновления) и все скомпилировано и работает (в нем говорится, что item это не используется, ну, вполне законное предупреждение на уровне 4)! Единственная плохая вещь заключается в том, что IntelliSense жалуется на переменные шаблона.

Рассмотрим этот код:

 #include <iostream>
#include <iomanip>

struct Whatever
{};

struct Bottle
{};

template <typename T>
constexpr bool is_bottle = false;

template <>
constexpr bool is_bottle<Bottle> = true;

template <typename Item>
void use(Item item)
{
    std::cout << std::boolalpha;
    std::cout << is_bottle <Item> << 'n';
}

int main()
{
    use(Whatever{});
    use(Bottle{});
}
  

Для специализации Bottle IntelliSense жалуется, что

Явная специализация переменной шаблона должна предшествовать ее первому использованию ()

(у него тоже есть скобки).

Вопрос: все ли должно быть так, как есть? Я имею в виду, что переменные шаблона работают, а Intellisense жалуется на них.