Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

what are "view"s? #5045

Closed
burblebee opened this issue Oct 21, 2021 · 3 comments
Closed

what are "view"s? #5045

burblebee opened this issue Oct 21, 2021 · 3 comments
Labels
lwg Issue must be reviewed by LWG.

Comments

@burblebee
Copy link
Contributor

burblebee commented Oct 21, 2021

what are these "view"s? libconcept? code? undefined term?

"view" is used as a term but never defined - what is it? There are quite a few additions of the term in the wording added in P2321R2 from branch motions-2021-10-lwg-16. If it is a term, we should define it. If we're talking about the concept, it should be marked with \libconcept. There is also a function "view()" in "basic_stringbuf" (in which case it should be in \tcode), but I doubt we're talking about that.

Originally posted by @burblebee in #5024 (comment)

@CaseyCarter
Copy link
Contributor

There's a long-standing library convention of using a concept name to denote either types that model the concept or instances of objects with those types, with the distinction hopefully being clear from context. "Iterators" is the classic example. We've enshrined it as the name of a library.

I drew attention to this fact, and the fact that Ranges was extending the practice to "ranges" and "views" during LWG reviews, but folks were happy to continue the colloquial usage without any kind of formal definition. (Mostly people laughed at me for using the word "colloquial".)

TLDR: "view" refers to either a type that models the view concept or an instance of such a type.

@jwakely
Copy link
Member

jwakely commented Oct 21, 2021

I don't see a problem here. We also refer to "strings" to mean specialisations of basic_string, and I don't think anybody is confused by that.

The view concept defines what a view is. If it models the concept, it's a view. It would be wrong to replace all uses with code font because that would refer to the concept itself, not things that model it.

@jensmaurer jensmaurer added the lwg Issue must be reviewed by LWG. label Oct 23, 2021
@jensmaurer
Copy link
Member

Given these opinions of LWG participants, I think there's nothing we should do here editorially. @burblebee , if you still feel there is a defect, I'd suggest to file an LWG issue with intensified rationale.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
lwg Issue must be reviewed by LWG.
Projects
None yet
Development

No branches or pull requests

4 participants