C++ Concept that requires a member function with an OutputIterator as parameter

by

This is a common problem of asking the wrong question of a concept, where you’re trying to use them like you would a base class interface. With base classes, you’re declaring the exact, specific functions that the derived classes are to implement. You want the user to implement exactly the function you say they must.

With concepts, you approach the issue from the other direction: what usage are you trying to create?

At some point in your code, you have some object, some iterator, and a size. And you’re going to take that object, call a function by passing it the iterator and the size, and you expect a response back of a certain type. And this process has some meaning.

Then that is your concept. It’s a concept that is based on at least 2 parameters: the type of the object and the iterator type. So that’s what you should create.

If you have this BulkReadable constraint, then you must have some interface constrained on it. An interface that’s going to call read. To call read, that interface must have an iterator.

So here are the options:

  1. The interface is given an iterator type (directly or indirectly) by the user. If that’s the case, then you just use that type in the function’s BulkReadable constraint. If the iterator type is based on a complex set of operations on parameters, then you’ll have to do some computations to compute the iterator type.

  2. The iterator is statically determined. Then just use the known iterator type in the constraint.

The point being that, at the point where you’re going to try to call read, you know what the iterator type is. And therefore, you can constrain things using that type. Your concept therefore is not really BulkReadable, but BulkReadableFrom.

In short, you shouldn’t want to constrain a type on being able to take any type (or any type within some constraints). Check constraints against the actual types you’re going to use them with, preferably at the point where they become relevant.

More Related Contents:

  1. Why do we require requires requires?
  2. Does constraint subsumption only apply to concepts?
  3. In which access control context are concepts evaluated?
  4. Is lambdification of a concept an improvement or bad practice?
  5. Can I take the address of a function defined in standard library?
  6. What exactly are C++ modules?
  7. How to use source_location in a variadic template function?
  8. Will specialization of function templates in std for program-defined types no longer be allowed in C++20?
  9. Class type non-type template parameter initialization does not compile
  10. non-defaulted operator doesn’t generate == and != in C++20
  11. Why does aggregate initialization not work anymore since C++20 if a constructor is explicitly defaulted or deleted?
  12. Which headers in the C++ standard library are guaranteed to include another header?
  13. Will consteval functions allow template parameters dependent on function arguments?
  14. C++20 constexpr vector and string not working
  15. How to use std::views::transform on a vector?
  16. Ramifications of C++20 requiring two’s complement
  17. Comparing 3 modern c++ ways to convert integral values to strings
  18. Why default three-way operator (spaceship ) generates equality operator (==) and user define three-way operator not?
  19. What is required for a custom BGL graph to work with topological sort?
  20. Is C++20 ‘char8_t’ the same as our old ‘char’?
  21. What is the purpose of C++20 std::common_reference?
  22. Contiguous iterator detection
  23. Range TS idioms and the mysterious auto &&
  24. Why is operator!= removed in C++20 for many standard library types?
  25. C++ check if statement can be evaluated constexpr
  26. Why must a std::ranges::filter_view object be non-const for querying its elements?
  27. Why don’t I need to specify “typename” before a dependent type in C++20?
  28. How to use C++20’s likely/unlikely attribute in if-else statement
  29. if constexpr – why is discarded statement fully checked?
  30. if constexpr – why is discarded statement fully checked?

Leave a Comment