- mongodb - 在 MongoDB mapreduce 中,如何展平值对象?
- javascript - 对象传播与 Object.assign
- html - 输入类型 ="submit"Vs 按钮标签它们可以互换吗?
- sql - 使用 MongoDB 而不是 MS SQL Server 的优缺点
假设指向一个模板函数的不同实例的两个函数指针比较不相等是否安全?即使模板化函数根本不使用模板参数,因此在每种情况下都做完全相同的事情?
例如,以下在我的编译器上运行良好,但我不确定它是否适用于任何其他:
class TypeChecker
{
public:
template< typename T > static void foo( void )
{}
template< typename T > static void setType( void )
{ s_fooPtr = &foo< T >; }
template< typename T > static bool checkType( void )
{ return ( s_fooPtr == &foo< T > ); }
private:
static void ( * s_fooPtr )( void );
};
void ( * TypeChecker::s_fooPtr )( void ) = 0;
int main( void )
{
TypeChecker::setType< char >();
TypeChecker::checkType< char >(); // true
TypeChecker::checkType< unsigned char >(); // false
TypeChecker::checkType< signed char >(); // false
}
最佳答案
两个指针何时比较相等?
根据 5.10/1:
The == (equal to) and the != (not equal to) operators have the same semantic restrictions, conversions, and result type as the relational operators except for their lower precedence and truth-value result. [ Note:
a<b
is true whenever
== c<da<b
andc<d
have the same truth-value. —end note ] Pointers of the same type (after pointer conversions) can be compared for equality. Two pointers of the same type compare equal if and only if they are both null, both point to the same function, or both represent the same address (3.9.2).
是 foo<int>()
和 foo<char>()
同样的功能?
根据 14.4/1:
Two template-ids refer to the same class or function if
- their template-names, operator-function-ids, or literal-operator-ids refer to the same template and
- their corresponding type template-arguments are the same type and
- their corresponding non-type template arguments of integral or enumeration type have identical values and
- their corresponding non-type template-arguments of pointer type refer to the same external object or function or are both the null pointer value and
- their corresponding non-type template-arguments of pointer-to-member type refer to the same class member or are both the null member pointer value and
- their corresponding non-type template-arguments of reference type refer to the same external object or function and
- their corresponding template template-arguments refer to the same template.
显然foo<int>()
和 foo<char>()
功能不一样。
所以 &foo<int>()
和 &foo<char>()
不应该比较相等,无论做了什么优化。
编辑:
正如@SergeDundich 在评论中提到的,14.4/1 使用了 if
而是 if and only if
,它给出 no 保证是否 foo<int>()
和 foo<char>()
是否相同的功能。在规范的其他部分,if and only if
经常使用。
我没有在规范中找到对此的任何说明。但是,在示例中,我可以找到:
template<class T, void(*err_fct)()> class list { /* ... */ };
list<int,&error_handler1> x1;
list<int,&error_handler2> x2;
list<int,&error_handler2> x3;
list<char,&error_handler2> x4;declares x2 and x3 to be of the same type. Their type differs from the types of x1 and x4.
EDIT2:
if
用于代替 if and only if
因为这种情况存在:(示例来自 14.5.7/2)
template<class T> struct Alloc { /* ... */ };
template<class T> using Vec = vector<T, Alloc<T>>;
Vec<int> v; // same as vector<int, Alloc<int>> v;
Vec<int>
和 vector<int, Alloc<int>>
有很多不同,但仍然是同一类型。
但是,对于 foo<int>()
的情况和 foo<char>()
,他们的签名是不同的。不同的签名应该赋予它们不同的功能。
感谢@JohannesSchaub-litb。
关于c++ - 指向一个模板化函数的不同实例的指针保证比较不相等?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/8667515/
我想使用 NetworkX Graph 对象作为 Python dict 中的键。但是,我不希望默认的比较行为(即通过对象的地址)。相反,我希望同构图是 dict 中相同元素的键。 此行为是否已在某处
这个问题已经有答案了: What is the most effective way for float and double comparison? (33 个回答) 已关闭 7 年前。 在您认为我
我正在学习 C 编程,为了练习,我找到了一个需要解决的任务。这有点像一个游戏,有人选择一个单词,其他人猜测字母。我必须检查有多少给定的单词可能是所选单词的正确答案。 输入: 3 3//数字 n 和 m
我两天前开始学习C,在做作业时遇到了问题。我们的目的是从字符数组中获取字符列表,并通过计算连续字符并将其替换为数字来缩短它。对“a4b5c5”说“aaaabbbbbccccc”。这是我到目前为止的代码
已关闭。此问题需要 debugging details 。目前不接受答案。 编辑问题以包含 desired behavior, a specific problem or error, and the
为什么我在 if 中的比较不起作用?答案应该是 8 但它返回 0。 function findMissing(missingArray){ var getArray = missing
我想知道为什么以下 JavaScript 比较会给出不同的结果。 (1==true==1) true (2==true==2) false (0==false==0) false (0==false)
我想知道是否有人可以帮助我完成这个程序。编写一个接受两个字符串的函数。该函数应该将这两个字符串与字典顺序上排在第一位的字符串组合起来。两个字符串之间应该有一个空格。在一行上打印结果字符串。在一行上打印
有谁知道一个免费的开源库(实用程序类),它允许您比较一个 Java bean 的两个实例并返回一个属性列表/数组,这两个实例的值不同?请发布一个小样本。 干杯 托马斯 最佳答案 BeanCompara
我是java新手。任何人都可以给出以下类声明的含义 public class ListNode, V> { K key; V value; ListNode next;
我需要用 C 语言计算和比较 3 种不同大小(100 * 100、1000 * 1000 和 10000 * 10000)的 2 个矩阵相乘的执行时间。我编写了以下简单代码来为 1000 * 1000
当我在 ACCESS 2007 中运行以下 SQL 时 Select Location, COUNT(ApartmentBuildings) AS TotalIBuildingsManaged Fro
根据我对互斥锁的了解——它们通常提供对共享资源的锁定功能。因此,如果一个新线程想要访问这个锁定的共享资源——它要么退出,要么必须不断轮询锁(并在等待锁时浪费处理器周期)。 但是,监视器具有条件变量,它
通常在编程中,不应该比较浮点数据类型是否相等,因为存储的值通常是近似值。 由于两个非整数 Oracle NUMBER 值的存储方式不同(以 10 为基数),是否可以可靠地比较它们是否相等? 最佳答案
使用 PowerShell 时,我们偶尔会比较不同类型的对象。一个常见的场景是 $int -eq $bool (即其中 0 -eq $false 、 0 -ne $true 和任何非零值仅等于真,但不
#include #define MAX 1000 void any(char s1[], char s2[], char s3[]); int main() { char string1[
我想比较两个日期。 从这两个日期中,我只使用 ToShortDateString() 获取日期组件, 如下所示。现在的问题是当我比较两个日期时。它的 throw 错误—— "Operator >= c
用户输入一个数字( float 或整数),并且它必须大于下限。 这是从 UITextField 获取数字的代码: NSNumberFormatter * f = [[NSNumberFormatter
我已经摆弄这段代码大约一个小时了,它让我难以置信。我认为解决方案相当简单,但我似乎无法弄清楚。无论如何,这里去。我制作了一个 javascript 函数来检查用户输入的字符,以便它只能接受 7 个字符
我不太明白为什么当我们在不覆盖 equals 的情况下比较具有相同类属性的两个实例时方法,它将给出 false .但它会给出 true当我们比较一个案例类的两个实例时。例如 class A(val
我是一名优秀的程序员,十分优秀!