tk-xleaderのブログ。C++などプログラミングの話題が中心です。
[PR]上記の広告は3ヶ月以上新規記事投稿のないブログに表示されています。新しい記事を書く事で広告が消えます。
namespace std::range{
namespace __begin_impl_ns{
template<typename T> void begin(T&&) = delete;
template<typename T> void begin(std::initializer_list<T>&&) = delete;
class _begin_functor{
template<typename E, std::size_t size>
static E* impl(E (&arr)[size]){
return arr;
}
template<typename E>
static E* impl(E (&arr)[]){
return arr;
}
template<typename R> requires iterator_type<decltype((std::declval<R&>()).begin())>
static auto impl(R& r){
return r.begin();
}
template<typename R> requires iterator_type<decltype(begin(std::declval<R>()))>
static auto impl(R&& r){
return begin(std::forward<R>(r));
}
public:
template<typename R>
auto operator()(R&& r)->decltype(impl(std::forward<R>(r)))const{
return impl(std::forward<R>(r));
}
};
}
inline constexpr __begin_impl_ns::_begin_functor begin{};
namespace __end_impl_ns{
template<typename T> void end(T&&) = delete;
template<typename T> void end(std::initializer_list<T>&&) = delete;
class _end_functor{
template<typename E, std::size_t size>
static E* impl(E (&arr)[size]){
return arr + size;
}
template<typename E>
static E* impl(E(&arr)[]){
return arr;
}
template<typename R>
requires sentinel_for<decltype((std::declval<R&>()).end()),decltype(ranges::begin(std::declval<R&>()))>
static auto impl(R& r){
return r.end();
}
template<typename R>
requires sentinel_for<decltype(end(std::declval<R>())),decltype(ranges::begin(std::declval<R>()))>
static auto impl(R&& r){
return end(std::forward<R>(r));
}
public:
template<typename R>
auto operator()(R&& r)->decltype(impl(std::forward<R>(r)))const{
return impl(std::forward<R>(r));
}
};
}
inline constexpr __end_impl_ns::_end_functor end{};
}
U func(){ return std::declval<T>();}
という関数が有効ということを意味しますが、SFINAEでは、戻り値の有効性はチェックできませんから、これを何とか引数に持ってきます。namespace std{
namespace _details{
template<typename To>
std::void_t<To()> convert_to(To) noexcept;
template<typename From, typename To, typename = void>
struct is_nothrow_convertible_imp : std::false_type{};
template<typename From, typename To>
struct is_nothrow_convertible_imp<From, To, typename std::enable_if<noexcept(std::_details::convert_to<To>(std::declval<From>()))>::type> : std::true_type{};
}
template<typename From, typename To>
struct is_nothrow_convertible : std::conditional<
std::is_void<From>::value,
std::is_void<To>,
_details::is_nothrow_convertible_imp<From, To>
>::type{};
}
関数の引数と戻り値のどちらでも暗黙変換が起こりうる文脈ですが、
/*code start*/
/*in library code.*/
#include<iostream>
namespace library{
template<typename T>
void func(const T&){}
template<typename T>
struct X{};
template<typename T>
void func(const X<T>&){
std::cout << "template<typename T> void func(const X<T>&);" << std::endl;
}// ※1
}
/*user code*/
namespace user{
class Y{};
}
namespace library{
template<>
void func<X<user::Y>>(const X<user::Y>&){
std::cout << "template<> void func<X<Y>>(const X<Y>&);" <<std::endl;
}// ※2
}
int main(){
using namespace library;
func(library::X<user::Y>{});//出力は？
}
//end
namespace library{
template<>
void func<>(const X<user::Y>&){
std::cout << "template<> void func<X<Y>>(const X<Y>&);" <<std::endl;
}
}
//start code
namespace std{
namespace __swap_details{
template<typename T>
inline typename std::enable_if<std::is_move_constructible<T>::value&&std::is_move_assignable<T>::value>::type
swap(T& obj1, T& obj2)noexcept(std::is_nothrow_move_constructible<T>::value&&std::is_nothrow_move_assignable<T>::value){
T temp(std::move(obj1));
obj1 = std::move(obj2);
obj2 = std::move(temp);
} //※1
struct _swap_functor{
template<typename T, typename U>
auto operator()(T& obj1, U& obj2)const noexcept(noexcept(swap(obj1, obj2)))->decltype(static_cast<void>(swap(obj1, obj2))){
swap(obj1, obj2);
} //※2
};
}
inline constexpr __swap_details::_swap_functor swap{}; //※3
/*
// Eric Niebler氏のエントリでは、ODR違反の回避のため※3は次のような実装になっている。
// C++17にはinline変数が導入されたので、変数swapはinline変数として定義できる。
template<typename T>
struct __static_valuable{
static constexpr T value;
};
template<typename T>
constexpr T __static_valuable<T>::value;
namespace{
constexpr auto const& swap = __static_valuable<__swap_details::_swap_functor>::value;
}
*/
}
//end code//start code
namespace boost{
namespace _swap_impl{
using std::swap;
struct _swap_functor{
template<typename T, typename U>
void operator(T& obj1, U& obj2)const noexcept(noexcept(swap(obj1, obj2))){
swap(obj1, obj2);
}
};
}
inline constexpr _swap_impl::_swap_functor swap{}; //since C++17.
}
//end code//start code
namespace library{
template<typename T, typename U, typename V>
void func(const T& t, U* u, const std::vector<V>& v){
inner_func1(t);
inner_func2(u);
inner_func3(v);
}
}
//end code
//start code
namespace library{
template<typename T>
void inner_func1(const T& t){/*...*/}
template<typename T>
void inner_func2(T* t){/*...*/}
template<typename T>
void inner_func3(const std::vector<T>& t){/*...*/}
}
//end code//start code
namespace ns{
namespace nested{
struct X{};
}
// 次のどれでもよい。どの方法でも、ns::Xでns::nested::Xを指すことができる。
using nested::X; //(1)
typedef nested::X X;//(2)
using namespace X; //(3)
void func(X x){}
}
//end code