нет

static функция-шаблон класса, точнее ее объявление
в качестве параметра выступает указатель на функцию-член класса С
что конкретно не понятно?

это

и что? тот же самый callback, только + объект


Это сообщение отредактировал(а) MAKCim - 29.1.2007, 18:46

ну в этом контексте


смысл понятен, а здесь нет 


как внутри этого метода можно узнать на что указывает этот указатель?

здесь смысл не в этом

sizeof() направлен на размер типа возвращаемого одной из функций what() значения
если T - класс, то преобразование 0 в указатель на функцию-член этого класса приоритетнее преобразования к элипсису (...), при этом для sizeof() не важно, есть ли вообще в классе методы, ему важен сам факт выбора компилятором нужной функции, а значит типа возвращаемого значения, а значит размера, т. е в данном случае указатель на функцию-член используется как инвариант принадлежности типа Т к типу класса, потому как тип "указатель на функцию-член" свойственен только классам/структурам
Компилятор "ленив", он не проверяет в данном случае, а законно ли вообще преобразование 0 -> int C::*
если T - класс, то ему этого в данном случае хватает



Это сообщение отредактировал(а) MAKCim - 29.1.2007, 20:48

ответь мне на один вопрос, где вся эта лабуда применяется? (именно в том виде как ты привел пример)

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

  Когда я говорил усложняет, то имел ввиду с академической точки зрения. А на счет встроенных типов тут у меня такое убеждение, что шаблоны лишние. Для встроенных все должно быть максимально оптимизировано. Универсальность <> скорость. Так было всегда. Универсальность это использование общих моментов т.е. компромис, который определяется правилом, чтобы  лучше было всем вместе, но не одному в ущерб другого. Для встроенных типов нужно максимум скорости, потому никакие компромисы не допустимы. Встроенные должны иметь свой набор классов и методов.

ооо, это непростой вопрос  , честно, я сам не видел ни одного реального проекта, где бы это применялось   
может Daevaorn знает

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

ну смотри
sizeof() используется для определения различных размеров (типов, переменных и пр.)

is_class<T> :: what<T>(0) - это как бы вызов функции, но в контексте sizeof() это не вызов функции, а определение размера типа возвращаемого ею значения, т. е либо sizeof(T1), либо sizeof(T2), смотря какую функцию выбере компилятор здесь

функций what() у нас в классе 2, соответственно компилятор может выбрать или
what(...), или what(int C::*)
в этом месте идет разрешение перегрузки на основании переданного значения, т. е нуля
0 может преобразоваться в принципе и в ..., и в int C::*, но это в принципе
реально он может преобразоваться в int C::* только тогда, когда C (а значит T) - класс, потому как указатель на функцию-член - это фича только классов/структур, в ... 0 может преобразоваться всегда
компилятор в курсе, что за тип такой С (класс или что-то еще) и исходя из этого выбирает функцию
выбрав функцию, становится понятен тип возвращаемого ею значения, а значит размер, что и возвращает sizeof()
Romikgy
проще не могу  

Добавлено @ 21:19 
Alexeis, 

Вот тут ты не прав
Как раз тут мы только выигрываем от шаблонов, потому как вся сложность ложится на компилятор, а не на процессор в итоге

  
вектор int-ов, long-ов, short-ов, ...

А так и представляю. Вставить нужный код в текст поменяв названия типов на нужный. Вот и все. Типовая задача. Нах. У меня есть структура хранения данных (взял из реального проектика)



Хранить в TList я ее не хочу, т. к. надо каждый раз приводить типы. Делаю так:



Трачу на эту хреновину 5 минут. Допустим мне нужно еще какой-то контейнер. Я могу его сделать простым копи-пастом с заменой. Но можно это дело автоматизировать. И даже ввести стандартную заготовку наследника от TList, т. е. шаблон. Это вполне можно возложить на IDE.
Это реальный пример, куда более реальный, чем все надуманные примеры, которые тут рисует MAKCim. Этого мне будет совершенно достаточно.

    
я только не вижу разницы тогда между тем, что ты предлагаешь и шаблонами С++ (кроме, конечно, реализации этого в IDE   )

Это сообщение отредактировал(а) MAKCim - 29.1.2007, 21:47

догадываюсь это всё применяется для имитации идиомы "contract programming". Поскольку встроенных возможностей заранее оговорить обязательный интерфес типа в С++ нет, поэтому приходится прибегать к помощи, в частности, static_if. Сей метод популярен у разработчиков библиотек, которые хотят ещё на начальном этапе определить "форму" клиентского кода. Иногда бывает полезно и избаляет от неожиданностей. 
Ещё совсем недавно нам обещали, что в следующем стнадарте С++ будет эта вещь реализована. Да ещё и с более широкими возможностями( например с пре/пост условиями для функций и т.д.). Но почему-то пока от этого отказались

поздравляю всё что ты делаешь и так можно реализовать при помощи встроенного в Delphi препроцессора уже сейчас.

Это сообщение отредактировал(а) Daevaorn - 29.1.2007, 21:50

да уж, реальнее некуда
ваш класс + copy-paste = индусский метод программирования

Это сообщение отредактировал(а) MAKCim - 29.1.2007, 21:51

MAKCim, может это и круто, но мне жалко свой моск   . Просто ужасный синтаксис. Ни какого желания это учить   

да ради бога, никто не принуждает   
это нужно либо понять, либо забыть как страшный сон   

Спасибо и на этом