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