Ви не увійшли. Будь ласка, увійдіть або зареєструйтесь.
Ласкаво просимо вас на україномовний форум з програмування, веб-дизайну, SEO та всього пов'язаного з інтернетом та комп'ютерами.
Будемо вдячні, якщо ви поділитись посиланням на Replace.org.ua на інших ресурсах.
Для того щоб створювати теми та надсилати повідомлення вам потрібно Зареєструватись.
Український форум програмістів → C++ → Як мені перевизначити в підкласі таку віртуальну функцію?
Сторінки 1
Для відправлення відповіді ви повинні увійти або зареєструватися
Як мені перевизначити в підкласі таку віртуальну функцію? І чи такі віртуальні функції можуть бути взагалі?
template <class T>
class I
{
public:
virtual auto write(const T&) -> std::enable_if<std::is_copy_constructible<T>::value> = 0;
};
virtual auto write(const T&) -> typename std::enable_if<std::is_copy_constructible<T>::value>::type=0;Так наче працює
template <class T>
class I
{
public:
virtual auto write(const T&) -> std::enable_if<std::is_copy_constructible<T>::value> = 0;
};
class II : public I<int>
{
public:
auto write(const int&) -> std::enable_if<std::is_copy_constructible<int>::value> override {
cout << __PRETTY_FUNCTION__ << endl;
};
};virtual std::enable_if<true, void> II::write(int&)
Питання, чому не можна так:
class II : public I<int>
{
public:
void write(const int&) override {};
};Зрозуміло, треба ::type пистаи наприкінці 
Та, ні!
template <class T>
class I
{
public:
virtual auto write(const T&) -> std::enable_if<std::is_copy_constructible<T>::value>::type = 0;
};error: expected type-specifier
Питання, чому не можна так:
Тому що std::enable_if<true, void> - це приблизно struct{typedef void type;}, а не void.
Дякую, старатимусь хоч іноді писати код:)
Може ще так
virtual auto write(const T&) -> enable_if_t<std::is_copy_constructible<T>::value> = 0;Так, але все це марно, бо як виявилось за допомогою SFINAE видалити функцію з класу неможливо.
Ви можете сказати, що хочете зробити? Бо у вас є якийсь кінцевий пункт, але нам ви про нього не кажете, то ми й підказати ніц не можемо.
А чого б не скористатися static_assert:
template <typename T>
struct A
{
virtual auto foo() -> T
{
static_assert(std::is_copy_constructible_v<T>, "T must be copy constructible");
return T();
}
};
int main()
{
A<int> a;
a.foo();
A<std::unique_ptr<int>> a2;
a2.foo();
}Сторінки 1
Для відправлення відповіді ви повинні увійти або зареєструватися