René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"Behaviour of `std::pmr::memory_resource::do_allocate()` is ambiguous","articleBody":"essentially a copy of this [StackOverflow](http://stackoverflow.com/questions/40386696/behaviour-of-stdpmrmemory-resourceallocate-on-large-alignments) question.\r\n\r\nTo quote N4606:  \r\n\u003e`virtual void* do_allocate(size_t bytes, size_t alignment) = 0;`\r\n\r\n\u003eRequires: Alignment shall be a power of two.\r\n\r\n\u003eReturns: A derived class shall implement this function to return a pointer to allocated storage (3.7.4.2) with a size of at least __bytes__. The returned storage is aligned to the specified alignment, if such alignment is supported; otherwise it is aligned to __max_align__.\r\n\r\n\u003eThrows: A derived class implementation shall throw an appropriate exception if it is unable to allocate memory with the requested size and alignment.\r\n\r\nThis is ambiguous: What happens if the alignment is a power of two but unsupported (e.g larger than __max_align__)? Is the returned storage aligned to __max_align__ or is an exception thrown?","author":{"url":"https://github.com/iolojz","@type":"Person","name":"iolojz"},"datePublished":"2016-11-04T20:37:32.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":2},"url":"https://github.com/966/draft/issues/966"}