C++ Logo

STD-PROPOSALS

Advanced search

Subject: [std-proposals] is_value_constructible
From: Bjorn Reese (breese_at_[hidden])
Date: 2021-05-02 11:35:12


I am considering proposing the addition of type traits to check if a
type is constructible from arguments except if the argument are the
copy/move constructors of the type.

The purpose is to have a common way of writing a condition for
templated constructors:

   struct alpha {
     alpha(const alpha&);
     template <typename T>
       requires(condition-that-excludes-copy-constructor)
     alpha(T&&);
   };

I have attached a draft of the proposal and would like to hear your
feedback.




STD-PROPOSALS list run by std-proposals-owner@lists.isocpp.org

Standard Proposals Archives on Google Groups