{"id":1,"date":"2018-09-28T15:59:04","date_gmt":"2018-09-28T13:59:04","guid":{"rendered":"http:\/\/devwork.space\/private_html\/?p=1"},"modified":"2018-10-10T01:56:19","modified_gmt":"2018-10-09T23:56:19","slug":"concepts","status":"publish","type":"post","link":"https:\/\/devwork.space\/?p=1","title":{"rendered":"Introducing concepts in ledboard project"},"content":{"rendered":"

In near feature we’ll able to write nifty constrains for template arguments using concepts (C++20). I’m currently researching common use cases and trying to adopt them in my ledboard<\/a> project. With GCC >= 8.1 you can enable concepts using `-fconcepts` instrumentation compile flag, but this feature is not standardized yet. The current implementation and specification on concepts might change, keep this in mind. With recent talk at CppCon by Bjarne Stroustrup we get a pretty bold picture that this feature is essential and simplify things (see Bjarne Stroustrup \u201cConcepts: The Future of Generic Programming (the future is here)\u201d<\/a>). From my perspective them main advantage is to write zero-cost abstraction with better constrains and maintainability and get rid of template error novel.<\/p>\n

Below there is code that I’m currently using for as static interface for my animation classes, take a look:<\/p>\n

template<typename type>\r\nconcept bool animation_interface = requires(type a) {\r\n    { a.value() } -> rgb \/\/ animation_interface must have method value() that returns rgb type\r\n    { a.r() } -> u8 \/\/ requires a.r() method with integer return type \r\n    { a.g() } -> u8 \/\/ ...\r\n    { a.b() } -> u8 \/\/ ...\r\n    { a.step() } -> void \/\/ requires callable a.step() method without return type\r\n};\r\n\r\n\/\/ without constrains\r\ntemplate <typename type>\r\nconstexpr auto doSomething(type &&v) { return v.value(); }\r\n\r\ndoSomething(100) \/\/ deduction from arguments to doSomething<int>(100)\r\n\/\/ will fail with error we cannot call value() on 100 (prvalue)\r\n\/\/ but error is hard to understand and situation is a post factum\r\n\r\n\r\n\/\/ with constrains\r\ntemplate <animation_interface type>\r\nconstexpr auto doSomething(type &&v) { return v.value(); }\r\n\r\ndoSomething(100) \/\/ does not fulfilled requirements for animation_interface (nice error)\r\n\r\n\/\/ example \r\nclass white_color_forever {\r\npublic:\r\n    auto value() -> rgb { return {r(), g(), b()}; } \r\n    auto r() { return 0xff; }\r\n    auto g() { return 0xff; }\r\n    auto b() { return 0xff; }\r\n    auto step() -> void {}\r\n}\r\n\r\ndoSomething(white_color_forever{}); \/\/ fine, this is acceptable because \r\n\/\/ all exceptations are meet\r\n\r\n\r\n\r\n<\/pre>\n
There are requirements that must be fulfilled. Code does not compile if template parameter do not fulfill requirements. If you’re interested there is one of my use cases: a palette_converter_wrapper<\/a>. Where I’m wrapping animation inside method forwarding class and overloading value()<\/strong> method. This code will play nice with any type that fulfill abstraction_interface<\/strong> requirements \ud83d\ude42 So this is a static interface, that is what we’re waiting for<\/span>.<\/p>\n","protected":false},"excerpt":{"rendered":"
In near feature we’ll able to write nifty constrains for template arguments using concepts (C++20). I’m currently researching common use cases and trying to adopt them in my ledboard project. With GCC >= 8.1 you can enable concepts using `-fconcepts` instrumentation compile flag, but this feature is not standardized yet. The current implementation and specification … Continue reading “Introducing concepts in ledboard project”<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[3,2],"class_list":["post-1","post","type-post","status-publish","format-standard","hentry","category-bez-kategorii","tag-c20","tag-concepts"],"_links":{"self":[{"href":"https:\/\/devwork.space\/index.php?rest_route=\/wp\/v2\/posts\/1"}],"collection":[{"href":"https:\/\/devwork.space\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/devwork.space\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/devwork.space\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/devwork.space\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=1"}],"version-history":[{"count":17,"href":"https:\/\/devwork.space\/index.php?rest_route=\/wp\/v2\/posts\/1\/revisions"}],"predecessor-version":[{"id":84,"href":"https:\/\/devwork.space\/index.php?rest_route=\/wp\/v2\/posts\/1\/revisions\/84"}],"wp:attachment":[{"href":"https:\/\/devwork.space\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=1"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/devwork.space\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=1"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/devwork.space\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=1"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}