LINUX.ORG.RU

Концепты в gcc 6

 ,


0

4

https://gcc.gnu.org/onlinedocs/gcc/C_002b_002b-Concepts.html

Здесь пишут о новых ключевых словах. И если с некоторыми из них более-менее ясно http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2015/n4377.pdf

то документаций по ключевым словам forall и assumes нигде сходу не нашёл. Собственно, в этом и вопрос: как применять указанные ключевые слова?

Дак это старые концепты с акиомами и прочей фигнёй. Вроде ещё района 10-го года или когда там. А это(по ссылке n4377) - новые, которые хотели пропихнуть щас.

Вроде как в гцц были реализованы те концепты древние - я их(этот пункт в мануале) видел там ещё до выхода 6-го гцц и вроде как его зачатков.

registrant27492 ()
Ответ на: комментарий от next_time

Судя по

§ 2.1 Lexical conventions
In 2.1, add the keywords concept and requires to Table 4.

надо использовать только concept и requires. Я сам особо не вникал в эту тему, так что наверняка не скажу.

А в тех доках написано ведь:

The following keywords are reserved for concepts.
reserved

Так что не факт, что все эти ключевые когда-то использовались вообще.

xaizek ★★★★★ ()
Ответ на: комментарий от next_time

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

Iron_Bug ★★★★ ()
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.