базовый шаблон

тогда компилятор выдаст assert даже если выбрана специализация

помогло, спасибо

Как заставить компилятор выдавать static_assert, если используется базовый шаблон, а не специализация?

Тебе именно асерт нужен? Так не подойдёт?

template<typename _Foo> void temp_function(_Foo) = delete;

Может не сработать, если написать, например temp_function<int[0]>(). Вообще пойнт в том, что выражение в static_assert-е должно зависить от темлейтного параметра, тогда оно не будет вычисляться до инстанцирования.

Можно, например так:

static_assert(!std::is_same<_Foo, _Foo>::value, "");

Или, чтоб понятнее было:

template <typename>
struct always_false {
  using type = std::integral_constant<bool, false>;
  static constexpr bool value = type::value;
};

// в функции
static_assert(always_false<_Foo>::value, "");

это даже лучше.

А я думал что спецификаторы default и delete используются только для конструктора/деструктора и присваивания.

А я думал что спецификаторы default и delete используются только для конструктора/деструктора и присваивания.

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

хм. а какой смысл в таком шаблоне? судя по всему, предполагается использование в другом шаблоне с ограничением на *его* инстанциирование. зачем размазывать говно по коду?