чистый фан же, пользы особо никакой

#ozofnh/1

reply

схрена ли? мне вот как раз надо, например, чтобы если тип CopyAssignable, то выполнить присваивание, а если только CopyConstructible, то разрушить и создать новый объект.

#ozofnh/2

reply

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

template <class T>
struct A<T, true>
{
void f();
};

Это же то, чего ты хочешь, или не ?

#ozofnh/3

reply

не. я хочу только одну функцию менять, а не весь класс. вопщем я уже сделал передачу true_type в реализацию

#ozofnh/4

reply

Покажи, интересно.
я хочу только одну функцию менять, а не весь класс. — неизменную часть можно наследованием сделать общей, например.

#ozofnh/5

reply

покажу когда допишу. а пока что постоянно утыкаюсь то в нереализованность alignas, то вот в это: http://ideone.com/6jywL, то в ICE на этом коде на более свежем gcc. В качестве короткого примера когда это нужно: вызов оператора копирования если он есть, и уничтожение и пересоздание объекта, если у него только конструктор копирования есть

#ozofnh/6

reply