Напишите шаблонную функцию, которая по двум однотипным указателям проверяет, указывают ли они на один объект

@zombiebober · Регистрация: 13.07.2015

Author24 — интернет-сервис помощи студентам

Вот задание: Предположим, что вам даётся два указателя на объект некоторого сложного полиморфного класса, который использует множественное наследование. Оба указателя имеют один и тот же тип, но могут ссылаться на разные однотипные базы внутри одного объекта.

Напишите шаблонную функцию, которая по двум однотипным указателям проверяет, указывают ли они на один объект.

C++

// возвращает true, если p и q указывают на один и тот же объект
template<class T>
bool isSameObject(T const * p, T const * q)
{
 
}

Вот мое решение:

C++

// возвращает true, если p и q указывают на один и тот же объект
template<class T>
bool isSameObject(T const * p, T const * q)
{
    if (dynamic_cast<const T *>(p) == dynamic_cast<const T *>(q))
        return true;
    else return false;
}

Я не понимаю, почему решение не проходит. И в чем ошибка?
https://stepik.org/lesson/53367/step/7?unit=31461

@1Вирт1 · 20.02.2018, 18:07

а зачем вам dynamic_cast? Если указатели равны то указывают в одно место

с другой стороны если вам надо знать конкретный тип тут надо уже RTTI юзать

IGPIGP · 20.02.2018, 22:36

zombiebober, как мне кажется тут может быть тонкость. То есть, не все равные указатели указывают на один и тот же объект. Это потому, что если указатель равен nullptr, то он вообще никуда не указывает. Следовательно, пара таких указателей хоть и равны но не могут быть решением в ряде случаев. Возможно Ваш преподаватель имеет, это ввиду.

C++

template<class T>
bool isSameObject(T const * p, T const * q)
{
bool ret_bool=false;
if(p == q) ret_bool = (p == nullptr) ? false : true;
return ret_bool;
}

или что-то в этом роде.

@mishelle92 · 20.02.2018, 22:51

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

IGPIGP · 20.02.2018, 23:07

Сообщение от IGPIGP

что-то в этом роде

Можно ещё вот так бы заимпрувить:

C++

#include <iostream>
using namespace std;
 
template <class T> struct pointers_compire {
T * rhs,  * lhs;
enum what {none, equal, nonequal};
pointers_compire(T  * rhs_, T  * lhs_):rhs(rhs_), lhs(lhs_)
{}
what compare_what(){
what w = none;
if(rhs == nullptr || lhs == nullptr) return w;
w = rhs == lhs ? equal : nonequal;
return w;
}
void prn_what(){
what w = compare_what();
switch(w){
case equal : cout << "equal" ; break ;
case nonequal : cout << "nonequal" ; break ;
default :  cout << "none" ; break ;
}
cout << endl;
}
};
 
 
int main(int argc, char* argv[])
{
int *a, *b;
a=b=nullptr;
 
pointers_compire<int> pc0(a, b);
pc0.prn_what();
 
int c, d;
a = &c ; b = &d;
 
pointers_compire<int> pc1(a, b);
pc1.prn_what();
 
a=b;
 
pointers_compire<int> pc2(a, b);
pc2.prn_what();
 
system("pause");
return 0;
}

В том смысле, что то что имеет три логических конечных состояния, трудно свести к двум без скрытой неопределённости. Но опять же, это зависит от конкретной постановки, нужно ли вот прям уж так уж.

@GbaLog- · 21.02.2018, 10:51

Сообщение от zombiebober

Вот мое решение

зачем вы dynamic_cast сюда приплели?

C++

template<typename T>
bool isEqualObjects(const T * const lhs, const T * const rhs)
{
    return lhs == rhs && lhs;
}

Сообщение от zombiebober

https://stepik.org/lesson/53367/step/7?unit=31461

ссылка не юзабельна.

Сообщение от mishelle92

Как будет выглядеть решение?

C++

bool isEqualObjects(const T & lhs, const T & rhs)
{
    return std::addressof(lhs) == std::addressof(rhs) && std::addressof(lhs);
}

@Ygg · 21.02.2018, 11:22

GbaLog-, не работает)
По-моему, вы как-то упустили про полиморфизм, а котором говорится у ТС.
В принципе, динамик каст поддерживает полиморфизм, но нужно тогда как-то знать конечный класс.
Я не знаю, как это делать. TC ссылается на какой-то видео ролик про 11 и 14 стандарты, может там что-то подходящее есть.

C++

#include <iostream>
#include <typeinfo>
 
class A {};
class B : public A {};
class C : public A {};
class D : public A, B, C {};
 
//  A    A
//  |    |
//  B    C    A
//  |    |    |
//  +----+----+
//  |
//  D
 
template<typename T>
bool isEqualObjects(const T * const lhs, const T * const rhs)
{
    return lhs == rhs && lhs;
}
 
int main()
{
    D d;
    A* d1 = &d;
    A* d2 = (C*)&d;
    A* d3 = (B*)&d;
 
    std::cout << "isEqualObjects(d1, d2) return " << isEqualObjects(d1, d2) << std::endl;
 
    //std::cout << "d ptr: " << &d << " type: " << typeid(d).name() << std::endl;
    //std::cout << "d1 ptr: " << d1 << " type: " << typeid(*d1).name() << std::endl;
    //std::cout << "d2 ptr: " << d2 << " type: " << typeid(*d2).name() << std::endl;
    //std::cout << "d3 ptr: " << d3 << " type: " << typeid(*d3).name() << std::endl;
 
    getchar();
    return 0;
}

@1Вирт1 · 21.02.2018, 11:58

Ygg, не работает потому что у вас две части от класса А. Ищите множественное, виртуальное наследование и читатйте теорию

@GbaLog- · 21.02.2018, 12:10

Сообщение от Ygg

По-моему, вы как-то упустили про полиморфизм, а котором говорится у ТС.

ваш пример - не работает.
он работает только в студии, но это проблемы студии.
http://rextester.com/DQMCAL84184
на счёт полиморфизма и множественного наследования я действительно упустил.
тогда так:

C++

#include <typeinfo>
 
template<typename T>
bool isEqualObjects(const T * const lhs, const T * const rhs)
{
    return typeid(*lhs) == typeid(*rhs) && lhs;
}

Сообщение от Ygg

TC ссылается на какой-то видео ролик про 11 и 14 стандарты, может там что-то подходящее есть.

нет, это нас туда редиректит с недоступного "простым смертным" контента.

@Ygg · 21.02.2018, 12:11

1Вирт1, грешен, в теории слабоват)
Есть случаи, когда использование virtual в определении наследования классов требуется, а есть когда не требуется.
Для полиморфного класса нужна хотя бы одна виртуальная функция. Правильнее было бы классы определить так.

C++

class A
{
public:
    virtual ~A() {}
};
class B : public A {};
class C : public A {};
class D : public A, B, C {};

Но динамик каст работает не совсем так, как хотелось бы. Хотя typeid заработал.

@GbaLog- · 21.02.2018, 12:14

Сообщение от 1Вирт1

не работает потому что у вас две части от класса А. Ищите множественное, виртуальное наследование и читатйте теорию

есть более простой пример, ломающий мою предыдущую функцию:

C++

struct A { virtual ~A() {} };
struct B : public A { virtual ~B() {} };
struct C : public B { virtual ~C() {} };
//...
C d;
A * a = &d;
A * b = (B*)&d;

@Ygg · 21.02.2018, 12:23

GbaLog-, новая функция тоже не работает, она сравнивает типы, а не объекты.

C++

    D d;
    A* d1 = &d;
    A* d2 = (C*)&d;
    A* d3 = (B*)&d;
    D e;
    A* e1 = &e;
    A* e2 = (C*)&e;
    A* e3 = (B*)&e;
 
    std::cout << "isEqualObjects(d1, d2) return " << isEqualObjects(d1, d2) << std::endl;
    std::cout << "isEqualObjects(d1, e2) return " << isEqualObjects(d1, e2) << std::endl;

@GbaLog- · 21.02.2018, 12:32

Не по теме:

ладно, я чёт туплю.
пойду-ка отсюда.

IGPIGP · 22.02.2018, 08:53

Сообщение от Ygg

По-моему, вы как-то упустили про полиморфизм, а котором говорится у ТС.

Напишите шаблонную функцию, которая по двум однотипным указателям проверяет, указывают ли они на один объект - C++

Тут не может иметься ввиду полиморфизм. Хотя полиморфизм наследования (динамический) поддерживает неявное приведение (там каст не нужен, кстати), но это никогда не значило, что типы разных ступеней это один тип. Семантика "подтипизации" подразумевает нечто более похожее на включение, а семантика IS, - в свою очередь, - нечто похожее на возможность подстановки. Но это не подразумевает "однотипности". Как правило у таких типов даже размер разный, а не только поведение (набор методов) и набор состояний (данных). Поэтому, (imho) я считаю, что полиморфизм тут не при чем. Если преподаватель считает что полиморфизм тут "при чем", то полимозгизм порождает полимофную речь и фассеточное зрение. Это лечится. На ранних стадиях.

Добавлено через 1 минуту

Не по теме:

Сообщение от GbaLog-

пойду-ка отсюда.

Они Вас запутали GbaLog-. :)

@Ygg · 22.02.2018, 14:34

Выдержка из документации dynamic_cast:

4) If expression is a pointer or reference to a polymorphic type, and new_type is a pointer to void, the result is a pointer to the most derived object pointed or referenced by expression.

Код:

C++

#include <iostream>
#include <typeinfo>
 
class A
{
public:
    virtual ~A() {}
};
class B : public A {};
class C : public A {};
class D : public A, B, C {};
 
 
//  A    A
//  |    |
//  B    C    A
//  |    |    |
//  +----+----+
//  |
//  D
 
template<typename T>
bool isEqualObjects(const T * const lhs, const T * const rhs)
{
    return dynamic_cast<const void*>(lhs) == dynamic_cast<const void*>(rhs);
}
 
int main()
{
    D d;
    A* d1 = &d;
    A* d2 = (C*)&d;
    A* d3 = (B*)&d;
 
    D e;
    A* e1 = &e;
    A* e2 = (C*)&e;
    A* e3 = (B*)&e;
 
    std::cout << "isEqualObjects(d1, d2) return " << isEqualObjects(d1, d2) << std::endl;
    std::cout << "isEqualObjects(d1, e2) return " << isEqualObjects(d1, e2) << std::endl;
 
    std::cout << "d1 ptr: " << d1 << " cast: " << dynamic_cast<void*>(d1) << std::endl;
    std::cout << "d2 ptr: " << d2 << " cast: " << dynamic_cast<void*>(d2) << std::endl;
    std::cout << "d3 ptr: " << d3 << " cast: " << dynamic_cast<void*>(d3) << std::endl;
 
    std::cout << "e1 ptr: " << e1 << " cast: " << dynamic_cast<void*>(e1) << std::endl;
    std::cout << "e2 ptr: " << e2 << " cast: " << dynamic_cast<void*>(e2) << std::endl;
    std::cout << "e3 ptr: " << e3 << " cast: " << dynamic_cast<void*>(e3) << std::endl;
 
    getchar();
    return 0;
}

Результат:

isEqualObjects(d1, d2) return 1
isEqualObjects(d1, e2) return 0
d1 ptr: 000000D9EA1AFA08 cast: 000000D9EA1AFA08
d2 ptr: 000000D9EA1AFA18 cast: 000000D9EA1AFA08
d3 ptr: 000000D9EA1AFA10 cast: 000000D9EA1AFA08
e1 ptr: 000000D9EA1AFA98 cast: 000000D9EA1AFA98
e2 ptr: 000000D9EA1AFAA8 cast: 000000D9EA1AFA98
e3 ptr: 000000D9EA1AFAA0 cast: 000000D9EA1AFA98

Добавлено через 4 часа 21 минуту

Не по теме:

dynamic_cast - C++
Пять лет назад! А мы тут голову ломаем :D

IGPIGP · 22.02.2018, 22:14

Сообщение от Ygg

Пять лет назад! А мы тут голову ломаем

Время не всегда решает вопрос.
***
Приведение для расширяющего преобразования в иерархии не требуется.

C++

#include <iostream>
using namespace std;
 
class T;
class S;
template<class A=T*, class B=S*>class ptr_compare
{
public:
    bool operator()(A a, B b){
return b==a;
    }
 
};
 
class Base{};
class Derived : public  Base {};
 
int main(int argc, char* argv[])
{
Base a;
Derived b;
Base *pa = &a;
Derived *pb =&b;
ptr_compare<Base*, Derived*>cmp;
 
cout<<cmp(pa, pb)<<endl;
pa=pb;
cout<<cmp(pa, pb)<<endl;
 
system("pause");
return 0;
}

Но и иерархия тоже не нужна. В задании сказано:
однотипные указатели (указатели на классы в иерархии это разнотипные)
а не
указатели на однотипные объекты (тут могли бы быть указатели на разные классы в иерархии указывающие на объект дочернего класса).
Или это я ничего не понял?

Напишите шаблонную функцию, которая по двум однотипным указателям проверяет, указывают ли они на один объект

Решение

Решение

@1Вирт1 184 / 192 / 48 Регистрация: 25.08.2011 Сообщений: 792
	20.02.2018, 18:07	2
	а зачем вам dynamic_cast? Если указатели равны то указывают в одно место с другой стороны если вам надо знать конкретный тип тут надо уже RTTI юзать 2

@mishelle92 73 / 69 / 38 Регистрация: 09.10.2012 Сообщений: 238
	20.02.2018, 22:51	4
	Может немного не по теме, но представим, что шаблонная функция принимает ссылки, а не указатели. Как будет выглядеть решение? (тут есть небольшой подвох) 0

@1Вирт1 184 / 192 / 48 Регистрация: 25.08.2011 Сообщений: 792
	21.02.2018, 11:58	8
	Ygg, не работает потому что у вас две части от класса А. Ищите множественное, виртуальное наследование и читатйте теорию 0

@GbaLog-
	21.02.2018, 12:32 #13
	Не по теме: ладно, я чёт туплю. пойду-ка отсюда. 0

IGPIGP Комп_Оратор) $Эксперт по математике/физике$ 8949 / 4703 / 629 Регистрация: 04.12.2011 Сообщений: 13,999 Записей в блоге: 16
	22.02.2018, 08:53	14
	Сообщение от Ygg По-моему, вы как-то упустили про полиморфизм, а котором говорится у ТС. Напишите шаблонную функцию, которая по двум однотипным указателям проверяет, указывают ли они на один объект - C++ Тут не может иметься ввиду полиморфизм. Хотя полиморфизм наследования (динамический) поддерживает неявное приведение (там каст не нужен, кстати), но это никогда не значило, что типы разных ступеней это один тип. Семантика "подтипизации" подразумевает нечто более похожее на включение, а семантика IS, - в свою очередь, - нечто похожее на возможность подстановки. Но это не подразумевает "однотипности". Как правило у таких типов даже размер разный, а не только поведение (набор методов) и набор состояний (данных). Поэтому, (imho) я считаю, что полиморфизм тут не при чем. Если преподаватель считает что полиморфизм тут "при чем", то полимозгизм порождает полимофную речь и фассеточное зрение. Это лечится. На ранних стадиях. Добавлено через 1 минуту Не по теме: Сообщение от GbaLog- пойду-ка отсюда. Они Вас запутали GbaLog-. :) 0