HA3: linked_ptr

[Vladimir Nazarenko]

Доп. задание делал по образцу shared_ptr из gcc -- получается лишнее выделение памяти в куче при создании указателя и при ресете, не совсем понятно, подходит ли такая реализация под п.2 спецификации. Хотелось бы узнать, известно ли решение доп. задачи без дополнительных выделений памяти (в том числе в специальных аллокаторах, как это было рассказано на лекции).

[cpptester]

Tested revision 248 by nazarenko.vladimir.

Smoke tests

test	stage	result	info	log
​run_linked_ptr_gen_smoke_test.cpp	gcc62	SUCCESS
	run	SUCCESS
	valgrind	FAILURE	exit code 1	​run_linked_ptr_gen_smoke_test-valgrind.log
	gcc62-asan	SUCCESS
	asan	FAILURE	exit code 1	​run_linked_ptr_gen_smoke_test-asan.log
	clang-san	FAILURE		​run_linked_ptr_gen_smoke_test-clang-san.log
​run_smoke_test.cpp	gcc62	SUCCESS
	run	SUCCESS
	valgrind	FAILURE	exit code 1	​run_smoke_test-valgrind.log
	gcc62-asan	SUCCESS
	asan	FAILURE	exit code 1	​run_smoke_test-asan.log
	clang-san	FAILURE		​run_smoke_test-clang-san.log

Common header used in some tests: ​common.h

[cpptester]

Tested revision 258 by nazarenko.vladimir.

Smoke tests

test	stage	result	info	log
​run_linked_ptr_gen_smoke_test.cpp	gcc62	SUCCESS
	run	SUCCESS
	valgrind	SUCCESS		​run_linked_ptr_gen_smoke_test-valgrind.log
	gcc62-asan	SUCCESS
	asan	SUCCESS
	clang-san	FAILURE		​run_linked_ptr_gen_smoke_test-clang-san.log
​run_smoke_test.cpp	gcc62	SUCCESS
	run	SUCCESS
	valgrind	SUCCESS		​run_smoke_test-valgrind.log
	gcc62-asan	SUCCESS
	asan	SUCCESS
	clang-san	FAILURE		​run_smoke_test-clang-san.log

Common header used in some tests: ​common.h

[cpptester]

Tested revision 259 by nazarenko.vladimir.

Smoke tests

test	stage	result	info	log
​run_linked_ptr_gen_smoke_test.cpp	gcc62	SUCCESS
	run	SUCCESS
	valgrind	SUCCESS		​run_linked_ptr_gen_smoke_test-valgrind.log
	gcc62-asan	SUCCESS
	asan	SUCCESS
	clang-san	FAILURE		​run_linked_ptr_gen_smoke_test-clang-san.log
​run_smoke_test.cpp	gcc62	SUCCESS
	run	SUCCESS
	valgrind	SUCCESS		​run_smoke_test-valgrind.log
	gcc62-asan	SUCCESS
	asan	SUCCESS
	clang-san	FAILURE		​run_smoke_test-clang-san.log

Common header used in some tests: ​common.h

[cpptester]

Tested revision 260 by nazarenko.vladimir.

Main tests

test	stage	result	info	log
​comp_all_sufficient.cpp	gcc62	FAILURE		​comp_all_sufficient-gcc62.log
​comp_assign.cpp	gcc62	FAILURE		​comp_assign-gcc62.log
​comp_assign_const.cpp	gcc62	FAILURE		​comp_assign_const-gcc62.log
​comp_assign_derived.cpp	gcc62	FAILURE		​comp_assign_derived-gcc62.log
​comp_assign_derived_const.cpp	gcc62	FAILURE		​comp_assign_derived_const-gcc62.log
​comp_assign_result.cpp	gcc62	FAILURE		​comp_assign_result-gcc62.log
​comp_assign_result_const.cpp	gcc62	FAILURE		​comp_assign_result_const-gcc62.log
​comp_bool1.cpp	gcc62	FAILURE		​comp_bool1-gcc62.log
​comp_bool2.cpp	gcc62	FAILURE		​comp_bool2-gcc62.log
​comp_bool_const1.cpp	gcc62	FAILURE		​comp_bool_const1-gcc62.log

Common header used in some tests: ​common.h

[cpptester]

Tested revision 261 by nazarenko.vladimir.

Main tests

test	stage	result	info	log
​comp_ctor_NULL.cpp	gcc62	FAILURE		​comp_ctor_NULL-gcc62.log
​comp_ctor_nullptr.cpp	gcc62	FAILURE		​comp_ctor_nullptr-gcc62.log
​comp_ctor_zero.cpp	gcc62	FAILURE		​comp_ctor_zero-gcc62.log
​comp_include_guard.cpp	gcc62	FAILURE		​comp_include_guard-gcc62.log
​run_no_ctor_called.cpp	gcc62	FAILURE		​run_no_ctor_called-gcc62.log
​run_op1.cpp	gcc62	FAILURE		​run_op1-gcc62.log
​run_single_object.cpp	gcc62	FAILURE		​run_single_object-gcc62.log
​run_single_object2.cpp	gcc62	FAILURE		​run_single_object2-gcc62.log
​run_single_object_multiple_ptrs.cpp	gcc62	FAILURE		​run_single_object_multiple_ptrs-gcc62.log
​run_test.cpp	gcc62	FAILURE		​run_test-gcc62.log

Common header used in some tests: ​common.h

[cpptester]

Tested revision 264 by nazarenko.vladimir.

Smoke tests

test	stage	result	info	log
​run_linked_ptr_gen_smoke_test.cpp	gcc62	SUCCESS
	run	SUCCESS
	valgrind	SUCCESS		​run_linked_ptr_gen_smoke_test-valgrind.log
	gcc62-asan	SUCCESS
	asan	SUCCESS
	clang-san	FAILURE		​run_linked_ptr_gen_smoke_test-clang-san.log
​run_smoke_test.cpp	gcc62	SUCCESS
	run	SUCCESS
	valgrind	SUCCESS		​run_smoke_test-valgrind.log
	gcc62-asan	SUCCESS
	asan	SUCCESS
	clang-san	FAILURE		​run_smoke_test-clang-san.log

Common header used in some tests: ​common.h

[cpptester]

Tested revision 265 by nazarenko.vladimir.

All tests passed. Good job!

[Vladimir Rutsky]

Попробуйтесь обойтись без полного type erasure для делитера (и, соответственно, выделение делитера в динамической памяти) --- не обязательно хранить указатель на память, которую нужно удалить, можно передавать его из деструктора linked_ptr, а значит в качестве делитера можно хранить указатель на функцию с фиксированной сигнатурой. Осталось только корректно генерировать эти делитеры в нужном месте и нужным образом.

Исправьте, пожалуйста, в ближайшие 60 часов.

[Vladimir Rutsky]

Ещё замечание: не используйтей виртуальные методы в linked_node --- наследование от этого класса это деталь реализации, и никто никогда не должен хранить указатель на linked_node (чтобы требовался виртуальный деструктор).

[Vladimir Rutsky]

Ещё замечание: сравнение указателей с nullptr имеет undefined поведение, вы же предполагаете, что ненулевые указатели всегда будут больше nullptr.
Сравнивайте явно хранимый сырой указатель с объектом типа std::nullptr_t.

Tip: не обязательно указывать имя для аргумента типа std::nullptr_t, как вы это делаете в constexpr linked_ptr(std::nullptr_t).

[cpptester]

Tested revision 483 by nazarenko.vladimir.

Main tests

test	stage	result	info	log
​comp_assign_derived.cpp		FAILURE		​comp_assign_derived-gcc62.log
​comp_assign_derived_const.cpp		FAILURE		​comp_assign_derived_const-gcc62.log
​run_assign_self_derived_nempty.cpp		FAILURE		​run_assign_self_derived_nempty-gcc62.log
​run_gen_015_5x6_062x131_193x285_1x4_1x6_1x6_3x3_0_D034969E.cpp		FAILURE		​run_gen_015_5x6_062x131_193x285_1x4_1x6_1x6_3x3_0_D034969E-gcc62.log
​run_gen_021_8x9_4113x4861_397x815_4x4_3x4_5x5_4x4_C4F2B4F7.cpp		FAILURE		​run_gen_021_8x9_4113x4861_397x815_4x4_3x4_5x5_4x4_C4F2B4F7-gcc62.log
​run_gen_055_15x26_28180541x35357669_1448194617849_DF45FC8F.cpp		FAILURE		​run_gen_055_15x26_28180541x35357669_1448194617849_DF45FC8F-gcc62.log

Common header used in some tests: ​common.h

[cpptester]

Tested revision 484 by nazarenko.vladimir.

Main tests

test	stage	result	info	log
​comp_all_sufficient.cpp		FAILURE		​comp_all_sufficient-gcc62.log
​comp_assign.cpp		FAILURE		​comp_assign-gcc62.log
​comp_assign_const.cpp		FAILURE		​comp_assign_const-gcc62.log
​comp_assign_derived.cpp		FAILURE		​comp_assign_derived-gcc62.log
​comp_assign_derived_const.cpp		FAILURE		​comp_assign_derived_const-gcc62.log
​comp_assign_result.cpp		FAILURE		​comp_assign_result-gcc62.log
​comp_assign_result_const.cpp		FAILURE		​comp_assign_result_const-gcc62.log
​comp_bool1.cpp		FAILURE		​comp_bool1-gcc62.log
​comp_bool2.cpp		FAILURE		​comp_bool2-gcc62.log
​comp_bool_const1.cpp		FAILURE		​comp_bool_const1-gcc62.log

Common header used in some tests: ​common.h

[cpptester]

Tested revision 485 by nazarenko.vladimir.

All tests passed. Good job!

[Vladimir Nazarenko]

Спасибо!

Переделал делитер согласно совету, получилось элегатнто (и, надеюсь, корректно).
Убрал виртуальный деструктор.
Поправил операторы сравнения согласно этой статье ​https://stackoverflow.com/questions/28811034/using-stdless-with-nullptr -- насколько я понял, std::less немного предпочтительнее, чем просто оператор сравнения.

[Vladimir Rutsky]

Решение и бонусное задание зачтены.

Единственное замечания: я бы рекомендовал в template<typename U> linked_ptr &operator=(const linked_ptr<U> &other) брать делитер из other. В таком случае делитер всегда создаётся в месте, где сырой указатель кладётся в умный, и, например, можно было бы сделать его кастомизируемым пользователем.