Головоломка

@Manjak · Регистрация: 12.03.2010

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

Скучно как-то на форуме, нету интересных задач. Вот решил для общего развития задать "загадку":
как на этапе компиляции, пользуясь средствами С++, определить является ли класс Б потомком класса А :cofee2:

@volovzi · 26.11.2010, 00:29

Manjak, в смысле, получить ошибку?
Ну тогда вот что первое в голову приходит:

C++

struct A {};
 
struct B : A {};
 
struct C {};
 
int main (int argc, char * const argv[]) {
    A * b = new B; // Порядок.
    A * c = new C; // Ошибка.
 
    return 0;
}

@Manjak · 26.11.2010, 00:42 **[ТС]**

Не ошибку, а именно узнать, что, например, параметр шаблона - это класс, который реализует нужный интерфейс.

@volovzi · 26.11.2010, 00:55

Тогда я не понимаю, что значит "на этапе компиляции"...

@Manjak · 26.11.2010, 01:16 **[ТС]**

Это значит, что я могу, например, в своем шаблоне держать булевую переменную значение которой какраз и указывает на то, что класс-параметр шаблона унаследован от целевого класса и могу ее использовать например для организации какой-то логики.

@CheshireCat · 26.11.2010, 11:02

И что здесь "головоломного"? Задача давным-давно решена Андреем Александреску, и разобрана в его "Современном проектировании на C++", глава 2.7 Распознавание конвертируемости и наследования на этапе компиляции.
К чему изобретать собственный велосипед? Только из любопытства разве что.....

@Manjak · 26.11.2010, 12:08 **[ТС]**

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

@Manjak 270 / 176 / 46 Регистрация: 12.03.2010 Сообщений: 494
		1
	Головоломка 26.11.2010, 00:16. Показов 1487. Ответов 6 Метки нет (Все метки) Скучно как-то на форуме, нету интересных задач. Вот решил для общего развития задать "загадку": как на этапе компиляции, пользуясь средствами С++, определить является ли класс Б потомком класса А :cofee2: 0

@Manjak 270 / 176 / 46 Регистрация: 12.03.2010 Сообщений: 494
	26.11.2010, 00:42 [ТС]	3
	Не ошибку, а именно узнать, что, например, параметр шаблона - это класс, который реализует нужный интерфейс. 0

@volovzi 274 / 175 / 12 Регистрация: 14.03.2010 Сообщений: 501
	26.11.2010, 00:55	4
	Тогда я не понимаю, что значит "на этапе компиляции"... 0

@Manjak 270 / 176 / 46 Регистрация: 12.03.2010 Сообщений: 494
	26.11.2010, 01:16 [ТС]	5
	Это значит, что я могу, например, в своем шаблоне держать булевую переменную значение которой какраз и указывает на то, что класс-параметр шаблона унаследован от целевого класса и могу ее использовать например для организации какой-то логики. 0

@CheshireCat 2924 / 1274 / 114 Регистрация: 27.05.2008 Сообщений: 3,465
	26.11.2010, 11:02	6
	И что здесь "головоломного"? Задача давным-давно решена Андреем Александреску, и разобрана в его "Современном проектировании на C++", глава 2.7 Распознавание конвертируемости и наследования на этапе компиляции. К чему изобретать собственный велосипед? Только из любопытства разве что..... 0

@Manjak 270 / 176 / 46 Регистрация: 12.03.2010 Сообщений: 494
	26.11.2010, 12:08 [ТС]	7
	Решение задачи и у Страуструпа, и у Александреску, и в других работах описано, а заниматься таким можно просто чтобы размять мозги 0

Опции темы