| 1 | //===----------------------------------------------------------------------===// |
|---|
| 2 | // |
|---|
| 3 | // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
|---|
| 4 | // See https://llvm.org/LICENSE.txt for license information. |
|---|
| 5 | // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
|---|
| 6 | // |
|---|
| 7 | //===----------------------------------------------------------------------===// |
|---|
| 8 | |
|---|
| 9 | #ifndef REP_H |
|---|
| 10 | #define REP_H |
|---|
| 11 | |
|---|
| 12 | #include "test_macros.h" |
|---|
| 13 | #include <type_traits> |
|---|
| 14 | |
|---|
| 15 | class Rep |
|---|
| 16 | { |
|---|
| 17 | int data_; |
|---|
| 18 | public: |
|---|
| 19 | TEST_CONSTEXPR Rep() : data_(-1) {} |
|---|
| 20 | explicit TEST_CONSTEXPR Rep(int i) : data_(i) {} |
|---|
| 21 | |
|---|
| 22 | bool TEST_CONSTEXPR operator==(int i) const {return data_ == i;} |
|---|
| 23 | bool TEST_CONSTEXPR operator==(const Rep& r) const {return data_ == r.data_;} |
|---|
| 24 | |
|---|
| 25 | Rep& operator*=(Rep x) {data_ *= x.data_; return *this;} |
|---|
| 26 | Rep& operator/=(Rep x) {data_ /= x.data_; return *this;} |
|---|
| 27 | }; |
|---|
| 28 | |
|---|
| 29 | // This is PR#41130 |
|---|
| 30 | |
|---|
| 31 | struct NotARep {}; |
|---|
| 32 | |
|---|
| 33 | #if TEST_STD_VER >= 11 |
|---|
| 34 | // Several duration operators take a Rep parameter. Before LWG3050 this |
|---|
| 35 | // parameter was constrained to be convertible from a non-const object, |
|---|
| 36 | // but the code always uses a const object. So the function was SFINAE'd |
|---|
| 37 | // away for this type. LWG3050 fixes the constraint to use a const |
|---|
| 38 | // object. |
|---|
| 39 | struct RepConstConvertibleLWG3050 { |
|---|
| 40 | operator long() = delete; |
|---|
| 41 | operator long() const { return 2; } |
|---|
| 42 | }; |
|---|
| 43 | namespace std { |
|---|
| 44 | template <> |
|---|
| 45 | struct common_type<RepConstConvertibleLWG3050, int> { |
|---|
| 46 | using type = long; |
|---|
| 47 | }; |
|---|
| 48 | template <> |
|---|
| 49 | struct common_type<int, RepConstConvertibleLWG3050> { |
|---|
| 50 | using type = long; |
|---|
| 51 | }; |
|---|
| 52 | } // namespace std |
|---|
| 53 | #endif // TEST_STD_VER >= 11 |
|---|
| 54 | |
|---|
| 55 | // std::chrono:::duration has only '*', '/' and '%' taking a "Rep" parameter |
|---|
| 56 | |
|---|
| 57 | // Multiplication is commutative, division is not. |
|---|
| 58 | template <class Rep, class Period> |
|---|
| 59 | std::chrono::duration<Rep, Period> |
|---|
| 60 | operator*(std::chrono::duration<Rep, Period> d, NotARep) { return d; } |
|---|
| 61 | |
|---|
| 62 | template <class Rep, class Period> |
|---|
| 63 | std::chrono::duration<Rep, Period> |
|---|
| 64 | operator*(NotARep, std::chrono::duration<Rep, Period> d) { return d; } |
|---|
| 65 | |
|---|
| 66 | template <class Rep, class Period> |
|---|
| 67 | std::chrono::duration<Rep, Period> |
|---|
| 68 | operator/(std::chrono::duration<Rep, Period> d, NotARep) { return d; } |
|---|
| 69 | |
|---|
| 70 | template <class Rep, class Period> |
|---|
| 71 | std::chrono::duration<Rep, Period> |
|---|
| 72 | operator%(std::chrono::duration<Rep, Period> d, NotARep) { return d; } |
|---|
| 73 | |
|---|
| 74 | // op= is not commutative. |
|---|
| 75 | template <class Rep, class Period> |
|---|
| 76 | std::chrono::duration<Rep, Period>& |
|---|
| 77 | operator*=(std::chrono::duration<Rep, Period>& d, NotARep) { return d; } |
|---|
| 78 | |
|---|
| 79 | template <class Rep, class Period> |
|---|
| 80 | std::chrono::duration<Rep, Period>& |
|---|
| 81 | operator/=(std::chrono::duration<Rep, Period>& d, NotARep) { return d; } |
|---|
| 82 | |
|---|
| 83 | template <class Rep, class Period> |
|---|
| 84 | std::chrono::duration<Rep, Period>& |
|---|
| 85 | operator%=(std::chrono::duration<Rep, Period>& d, NotARep) { return d; } |
|---|
| 86 | |
|---|
| 87 | #endif // REP_H |
|---|
| 88 | |
|---|
