[libcxx-commits] [libcxx] [libc++] Implement LWG3528 (`make_from_tuple` can perform (the equivalent of) a C-style cast) (PR #85263)
A. Jiang via libcxx-commits
libcxx-commits at lists.llvm.org
Tue Mar 19 01:05:32 PDT 2024
================
@@ -0,0 +1,46 @@
+//===----------------------------------------------------------------------===//
+//
+// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
+// See https://llvm.org/LICENSE.txt for license information.
+// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
+//
+//===----------------------------------------------------------------------===//
+
+// UNSUPPORTED: c++03, c++11, c++14
----------------
frederick-vs-ja wrote:
> I was wondering if we can also add a same constraints `is_constructible_v<_Tp, decltype(std::get<_Idx>(std::forward<_Tuple>(__t)))...>` to `std::make_from_tuple`.
It seems to me that we should _only_ add constraints to `std::make_from_tuple` if SFINAE-friendliness is required. Whether the internal `__make_from_tuple_impl` is constrained shouldn't be observable.
https://github.com/llvm/llvm-project/pull/85263
More information about the libcxx-commits
mailing list