Форум
Философия программирования
Тема
Как правильно задавать вопросы
B
I
abc
U
X
3
X
3
H1
H2
H3
H4
H5
H6
Asm
C/C++
C#
Erlang
Haskell
IDL
Java
Lisp
MSIL
Nemerle
ObjC
OCaml
Pascal
Perl
PHP
Prolog
Python
Ruby
Rust
SQL
VB
Здравствуйте, alex_public, Вы писали: _>Здравствуйте, Sinclair, Вы писали: S>>Что-то мне подсказывает, что нет, не получим мы от компилятора "полный отчёт о всех проблемах типизации". Точнее, что "тестовая программка", которую надо добавить к библиотеке, запросто окажется по размеру больше самой библиотеки - если мы хотим проверить все аспекты типизации. _>Неправильно подсказывает. ) Автор шаблона прекрасно знает под какие типы он создаётся. Соответственно реализуем в тестовой программке один новый тип с минимальным набором требуемых от него свойств. И дальше просто инстанцируем наш шаблон с ним и всё. Если код собирается, то значит будет корректно работать со всеми соответствующими типами - можно приступать уже к функциональному тестированию (как для не обобщённого кода). А если не собирается, то компилятор подробно укажет, что мы не правильно написали в нашем шаблоне.
Теги:
Введите теги разделенные пробелами. Обрамляйте в кавычки словосочетания с пробелами внутри, например:
"Visual Studio" .NET
Имя, пароль:
Загрузить
Нравится наш сайт?
Помогите его развитию!
Отключить смайлики
Получать ответы по e-mail
Проверить правописание
Параметры проверки …