- iOS/Objective-C 元类和类别
- objective-c - -1001 错误,当 NSURLSession 通过 httpproxy 和/etc/hosts
- java - 使用网络类获取 url 地址
- ios - 推送通知中不播放声音
在某种程度上,其动机是模仿 C++ 中的数学概念,主要是为了允许编写极其通用的算法。稍后会详细介绍动机。
首先,一些定义。
A
包含另一种类型 B
如果B
可转换为 A
至少几乎没有信息丢失*。这类似于超集的数学概念 B ⊆ A
.C
在 operatorX
下关闭如果C
包括 C X C
.C
类型 A
在 operatorX
下是包含 A
的类型并在 operatorX
下关闭本身。 C
可能不是唯一的。 C
可能不存在。C
类型 A
和 B
在 operatorX
下和 operatorY
是同时包含 A
的类型和 B
并在 operatorX
下关闭和 operatorY
本身。这需要 A X B
, B Y A
等等。*注意:这是一个相当不精确的陈述,但如果没有很多繁琐的限制,很难给出一个严格的定义。正如示例:int
包括 char
, double
包括 float
, double
包括 int32_t
因为它有 52 位精度,但是 float
不包含 int32_t
因为它只有 23 位精度。
给定两种类型 T
和 U
, 都有 operator+
和 operator*
定义。找到闭包或在找不到闭包时发出错误的有效方法是什么?
请注意,他们的运营商应该被认为是绝对疯狂的,即T
甚至可能不会在 operator+
下关闭, Σ(k ∈ [0, n)) T
可能是依赖于 n
的类型.
例如,如果我们只想要operator+
下的闭包
closure<unsigned, unsigned char>::type //unsigned
可以很容易地实现为
template<typename T, typename U> struct closure {
using type = decltype(std::declval<T>() + std::declval<U>());
};
但这并不适用于所有类型,因为如前所述,decltype(std::declval<T>() + std::declval<U>())
可能不会关闭。
假设某种通用算法需要操纵多种不同类型。如果我们想创建一个变量来存储中间值,它的类型应该是它们的闭包。
最简单的例子是添加 int
至 float
, 使用 double
作为中间存储。但是在这种情况下,语言实际上指定了 float
是int
的关闭和 float
这在某些情况下是次优的。
现在,由于该算法是通用的,我们需要某种方法来找到闭包,而无需事先知道这些类型及其运算符是什么。
我可能有点忘乎所以,实际上创造了一些愚蠢的设计。
我不能称它为“查找类型的闭包”,闭包在编程中通常意味着其他东西 :P 。如果有人建议更好的名称,我会很乐意更改。
最佳答案
要准确估计闭包所需的表示大小,您必须至少跟踪您的操作可能需要的有效数字。下面仅给出整数类型的示例,并且仅涵盖加法。减法和乘法应该很容易做;在那之后,它会变得比现在更困惑。 :)
#include <iostream>
#include <limits>
#include <typeinfo>
namespace closure {
// A subset of numeric_limits provides, just to shorten stuff. Tells us all we
// want to know about the properties of a particular integer representation.
template <typename T>
struct repr
{
static constexpr bool is_signed = std::numeric_limits<T>::is_signed;
static constexpr int digits = std::numeric_limits<T>::digits;
};
// An estimate of the range of the sum of two integers
template <typename R1, typename R2>
struct add
{
static constexpr bool is_signed = R1::is_signed | R2::is_signed;
// Can use std::max() when on C++14 or newer
static constexpr int digits = ((R1::digits > R2::digits) ? R1::digits : R2::digits) + 1;
};
// Now the mess: map the required number of significant digits back to existing
// types. Note that the edge case for two's complement is overestimated to
// preserve my personal sanity: e.g., a char covers -128..+127, but we will
// place -128 into an int16_t.
template <int digits, bool is_signed>
struct result_impl;
// Define unsigned types in terms of signed ones
template <int digits> struct result_impl<digits, false>
{
using type = typename std::make_unsigned<typename result_impl<digits-1, true>::type>::type;
};
template <> struct result_impl<0, false> { using type = uint8_t; };
// Construct the correct type based on the number of needed significant bits.
// binary log
constexpr int log2(int x)
{
return (x > 1) ? (log2(x>>1)+1) : 0;
}
// The required type based on the binary logarithm of the number of significant bits
template <int logdigits>
struct logtype;
template <> struct logtype<0> { using type = int8_t; };
template <> struct logtype<1> { using type = int8_t; };
template <> struct logtype<2> { using type = int8_t; };
template <> struct logtype<3> { using type = int16_t; };
template <> struct logtype<4> { using type = int32_t; };
template <> struct logtype<5> { using type = int64_t; };
// And this is the actual type for signed integers with a certain minimum number of bits
template <int digits> struct result_impl<digits, true>
{
using type = typename logtype<log2(digits)>::type;
};
// Finally, our result type using the representation types from above.
template <typename R>
struct result { using type = typename result_impl<R::digits, R::is_signed>::type; };
}
int main()
{
using namespace closure;
// Adding two 16-bit values should require a 32-bit type
std::cout << typeid(result<add<repr<uint16_t>,
repr<uint16_t>>>::type).name() << std::endl;
// Adding three 16-bit values should still require a 32-bit type
std::cout << typeid(result<add<add<repr<uint16_t>,
repr<uint16_t>>,
repr<uint16_t>>>::type).name() << std::endl;
// Adding two 16-bit values, one signed, should require a signed 32-bit type
std::cout << typeid(result<add<repr<uint16_t>,
repr<int16_t>>>::type).name() << std::endl;
// Adding a signed 16-bit and an unsigned 32-bit value, should require a signed 64-bit type
std::cout << typeid(result<add<repr<uint32_t>,
repr<int16_t>>>::type).name() << std::endl;
}
(编辑:感谢@PasserBy,简化了有效二进制数字的数量和所选整数大小之间的关系。)
通过 c++filt -t
编译和运行结果应该给你类似的东西
unsigned int
unsigned int
int
long
作为输出。它并不多,但也许它是您正在寻找的东西的起点。当谈到浮点表示时,我担心它会变得更加可怕。
关于C++ 查找包含类型,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/40978099/
我有一个类似于以下的结构。 class A { string title; List bItem; } class B { int pric
本地流 和 远程流 两者都是“媒体流列表 ”。 本地流 包含“本地媒体流 ” 对象 但是,远程流 包含“媒体流 ” 对象 为什么差别这么大? 当我使用“本地流 “- 这个对我有用: localVide
我正在尝试将 8 列虚拟变量转换为 8 级排名的一列。 我试图用这个公式来做到这一点: =IF(OR(A1="1");"1";IF(OR(B1="1");"2";IF(OR(C1="1");"3";I
我正在使用面向对象编程在 Python 中创建一个有点复杂的棋盘游戏的实现。 我的问题是,许多这些对象应该能够与其他对象交互,即使它们不包含在其中。 例如Game是一个对象,其中包含PointTrac
有没有办法获取与 contains 语句匹配的最深元素? 基本上,如果我有嵌套的 div,我想要最后一个元素而不是父元素: Needle $("div:contains('Needle')")
出于某种原因,我无法在 Google 上找到答案!但是使用 SQL contains 函数我怎么能告诉它从字符串的开头开始,即我正在寻找等同于的全文 喜欢 'some_term%'。 我知道我可以使用
我正在尝试创建一个正则表达式来匹配具有 3 个或更多元音的字符串。 我试过这个: [aeiou]{3,} 但它仅在元音按顺序排列时才有效。有什么建议吗? 例如: 塞缪尔 -> 有效 琼 -> 无效 S
嘿所以我遇到了这样的情况,我从数据库中拉回一个客户,并通过包含的方式包含所有案例研究 return (from c in db.Clients.Include("CaseStudies")
如果关键字是子字符串,我无法弄清楚为什么这个函数不返回结果。 const string = 'cake'; const substring = 'cak'; console.log(string.in
我正在尝试将包含特定文本字符串的任何元素更改为红色。在我的示例中,我可以将子元素变为蓝色,但是我编写“替换我”行的方式有些不正确;红色不会发生变化。我注意到“contains”方法通常写为 :cont
我想问一下我是否可以要求/包含一个语法错误的文件,如果不能,则require/include返回一个值,这样我就知道所需/包含的文件存在语法错误并且不能被要求/包含? file.php语法错误 inc
我想为所有包含youtube链接的链接添加一个rel。 这就是我正在使用的东西-但它没有用。有任何想法吗? $('a [href:contains(“youtube.com”)]')。attr('re
我正在尝试在 Elasticsearch 中查询。除搜索中出现“/”外,此功能均正常运行。查询如下所示 GET styling_rules/product_line_filters/_search {
我正在开发名为eBookRepository的ASP.NET MVC应用程序,其中包含在线图书。 电子书具有自己的标题,作者等。因此,现在我正在尝试实现搜索机制。我必须使用Elasticsearch作
我已阅读Firebase Documentation并且不明白什么是 .contains()。 以下是文档中 Firebase 数据库的示例规则: { "rules": { "rooms"
我的问题是我可以给出条件[ 'BookTitleMaster.id' => $xtitid, ] 如下所示 $bbookinfs = $this->BookStockin->BookIssue->fi
我需要能够使用 | 检查模式在他们中。例如,对于像“dtest|test”这样的字符串,像 d*|*t 这样的表达式应该返回 true。 我不是正则表达式英雄,所以我只是尝试了一些事情,例如: Reg
我想创建一个正则表达式来不匹配某些单词... 我的字符:var test = "é123rr;and;ià456;or;456543" 我的正则表达式:test.match(\((?!and)(?!o
我在 XSLT 中有一个名为 variable_name 的变量,如果相关产品具有名称为 A 或 B 或两者均为 A & 的属性,我将尝试将其设置为 1 B.
您好,我想让接待员和经理能够查看工作类型和费率并随后进行更新。但是技术人员只能查看不能更新。该图是否有效? 我读到扩展用例是由发起基本用例的参与者发起的。我应该如何区分技术人员只能启动基本案例而不能启
我是一名优秀的程序员,十分优秀!