麻豆毛片,亚洲高清在线观看,欧美一区2区三区3区公司

本文介紹了如何定義遞歸概念?的處理方法，對大家解決問題具有一定的參考價值，需要的朋友們下面隨著小編來一起學(xué)習(xí)吧！

問題描述

cppreference.com 指出:

概念不能遞歸地引用自己

Concepts cannot recursively refer to themselves

但是我們?nèi)绾味x一個概念來表示整數(shù)或整數(shù)向量，或整數(shù)向量的向量等.

But how can we define a concept that will represent an integer or a vector of integers, or a vector of vector of integers, etc.

我可以擁有這樣的東西:

I can have something this:

template < typename Type > concept bool IInt0 = std::is_integral_v<Type>;
template < typename Type > concept bool IInt1 = IInt0<Type> || requires(Type tt) { {*std::begin(tt)} -> IInt0; };
template < typename Type > concept bool IInt2 = IInt1<Type> || requires(Type tt) { {*std::begin(tt)} -> IInt1; };

static_assert(IInt2<int>);
static_assert(IInt2<std::vector<int>>);
static_assert(IInt2<std::vector<std::vector<int>>>);

但我想要像 IIntX 這樣的東西，這意味著任何 N 的 IIntN.

But I want to have something like IIntX that will mean IIntN for any N.

有可能嗎?

推薦答案

概念總是可以遵從類型特征:

Concepts can always defer to a type trait:

template <typename T> concept C = some_trait<T>::value;

而且這個特征可以遞歸:

And that trait can be recursive:

template <typename T>
struct some_trait : std::false_type { };

template <std::Integral T>
struct some_trait<T> : std::true_type { };

template <typename T, typename A>
struct some_trait<std::vector<T, A>> : some_trait<T> { };

如果你的意思不只是vector，那么最后的部分特化可以推廣為:

If you don't mean just vector, then the last partial specialization can be generalized to:

template <std::Range R>
struct some_trait<R> : some_trait<std::range_value_t<R>> { };

這篇關(guān)于如何定義遞歸概念?的文章就介紹到這了，希望我們推薦的答案對大家有所幫助，也希望大家多多支持html5模板網(wǎng)！

【網(wǎng)站聲明】本站部分內(nèi)容來源于互聯(lián)網(wǎng),旨在幫助大家更快的解決問題，如果有圖片或者內(nèi)容侵犯了您的權(quán)益，請聯(lián)系我們刪除處理，感謝您的支持！

久久久久久久av_日韩在线中文_看一级毛片视频_日本精品二区_成人深夜福利视频_武道仙尊动漫在线观看

如何定義遞歸概念?

問題描述

推薦答案

相關(guān)文檔推薦