SFINAE прочь конструктор копирования

Question

При определенных условиях я хочу, чтобы SFINAE покинул конструктор копирования и скопировал оператор присваивания шаблона класса. Но если я это сделаю, создаются конструктор копии по умолчанию и оператор присваивания по умолчанию. SFINAE выполняется на основе тегов, которые я передаю как параметры шаблона класса. Проблема в том, что SFINAE работает только с шаблонами, а оператор-конструктор/присваивание копий не может быть шаблоном. Существует ли обходной путь?

Answer 1

Это решение использует базовый класс, который условно не копируемыми (по явно маркировки конструктор копирования и копирующий оператор присваивания, как удаляется).

template <bool> 
struct NoCopy; 

template <> 
struct NoCopy<true> 
{ 
    // C++11 and later: marking as deleted. Pre-C++11, make the copy stuff private. 
    NoCopy(const NoCopy&) = delete; 
    NoCopy& operator=(const NoCopy&) = delete; 
    protected: 
     ~NoCopy() = default; // prevent delete from pointer-to-parent 
}; 

template <> 
struct NoCopy<false> 
{ 
    // Copies allowed in this case 
    protected: 
     ~NoCopy() = default; // prevent delete from pointer-to-parent 
}; 

Пример использования:

template <typename Number> 
struct Foo : NoCopy<std::is_integral<Number>::value> 
{ 
    Foo() : NoCopy<std::is_integral<Number>::value>{} 
    { 
    } 
}; 

int main() 
{ 
    Foo<double> a; 
    auto b = a; // compiles fine 
    Foo<int> f; 
    auto g = f; // fails! 
} 

Примечание: деструктор NoCopy объявляется protected, чтобы избежать виртуального наследования (спасибо за подсказку, @Yakk).

Answer 2

Метод получения скрещиваемой или не скопируемой базы является стандартной идиомой для этого типа проблемы (см. Также комментарий Штефана). Один из способов его реализации, как это:

template<bool> struct copyable 
{ 
protected: 
    ~copyable() = default; 
}; 

template<> struct copyable<false> 
{ 
    copyable(copyable const&) = delete; 
    copyable&operator=(copyable const&) = delete; 
protected: 
    ~copyable() = default; 
}; 

template<bool allow_copy> 
class some_class : copyable<allow_copy> { /* ... */ };