Files
clang-p2996/libcxx/test/std/utilities/function.objects/refwrap/refwrap.const/deduct.pass.cpp
Arthur O'Dwyer eec04092d6 [libc++] [LWG2993] reference_wrapper<T> conversion from U&&
Implement the resolution of LWG2993. Replace a deleted constructor
with a constructor that SFINAEs away in appropriate circumstances.
Also, now that the constructor is templated, we must have an
explicit deduction guide to make CTAD work.

Some tests have been merged in from Agustín Bergé's D40259.

Differential Revision: https://reviews.llvm.org/D92725
2021-02-09 15:50:25 -05:00

32 lines
1.1 KiB
C++

//===----------------------------------------------------------------------===//
//
// 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
// UNSUPPORTED: libcpp-no-deduction-guides
// <functional>
// template <class T>
// reference_wrapper(T&) -> reference_wrapper<T>;
#include <functional>
int main()
{
int i = 0;
std::reference_wrapper ri(i);
static_assert(std::is_same_v<decltype(ri), std::reference_wrapper<int>>);
std::reference_wrapper ri2(ri);
static_assert(std::is_same_v<decltype(ri2), std::reference_wrapper<int>>);
const int j = 0;
std::reference_wrapper rj(j);
static_assert(std::is_same_v<decltype(rj), std::reference_wrapper<const int>>);
std::reference_wrapper rj2(rj);
static_assert(std::is_same_v<decltype(rj2), std::reference_wrapper<const int>>);
}