C++ шаблоны, использование enable_if для двух различных реализации оператора

Question

у меня есть, в какой-то момент в моем коде, перегрузка, как этот

template<int L> 
template<int M> 
inline StaticMemory<L>& StaticMemory<L>::operator =(const StaticMemory<M>& _m) 
{ 
    if (this != &_m) { //Problem here! 
     set_ui(this->mem, _m.mem, L, M); 
    } 
    return *this; 
} 

Что происходит в том, что проверка я выделил в основном неправильно, потому что когда L != M сравнение указателей не является валидным, если я не брошу его. Возможно, я мог бы наложить указатель, но есть ли способ использовать std::enable_if, чтобы написать две разные версии такого оператора?

Thx

Answer 1

Я думаю, она разрешима без std::enable_if

Просто написать дополнительные operator= так:

template<int L> 
inline StaticMemory<L>& StaticMemory<L>::operator =(const StaticMemory<L>& _m) 
{ 
    if (this != &_m) { //There are no problem here! 
     set_ui(this->mem, _m.mem, L, L); 
    } 
    return *this; 
} 

, который будет работать, если StaticMemory аргумент шаблона является то же самое.

Если они различны, ваш пример кода должен работать, где вы можете бросить все, что вы хотите

Редактировать: доказательство корректности:

#include <iostream> 
template <int I> 
struct Temp { 
    template <int L> 
    void operator=(const Temp<L>&) { 
     std::cout << "Called with L\n"; 
    } 
    void operator=(const Temp<I>&) { 
     std::cout << "Called with I\n"; 
    } 
}; 

int main() { 
    Temp<1> t1; 
    Temp<2> t2; 
    t1 = t1; 
    t1 = t2; 
} 

Выход здесь:

Called with I 
Called with L 

Answer 2

В качестве назначения копирования не используется

template <int L> 
template <int M> 
Temp<L>& Temp<L>::operator=(const Temp<M>&); 

Назначение Копирование только

template <int L> 
Temp<L>& Temp<L>::operator=(const Temp<L>&); 

И да так, вы должны написать как перегруженных в вашем случае.

Путь назвать назначение шаблона (первая перегрузка) с таким же типом является вызов явно, что-то вроде:

this->operator=<L>(rhs);