代码之家 › 专栏 › 技术社区 › 463035818_is_not_an_ai

假设相同的lambda表达式有不同的类型安全吗?

language-lawyer lambda optimization c++

463035818_is_not_an_ai · 技术社区 · 6 年前

我正在试验lambda,不同的lambda表达式有不同的类型,尽管它们是相同的。考虑一下这个代码

#include <iostream>

template <typename T> void once(T t){
    static bool first_call = true;
    if (first_call) t();
    first_call = false;
}

int main() {    
    int counter = 0;
    auto a = [&counter](){counter++;};
    once(a);
    once(a);
    std::cout << counter;              // 1

    auto b = a;                        // same type
    once(b);
    std::cout << counter;              // 1

    auto c = [&counter](){counter++;}; // different type
    once(c);
    once(c);               
    std::cout << counter;              // 2
}

打印这个 112 ,即 a 和 b 当然是同一类型的 c 有一种不同的类型。

编译器是否允许 C 与…类型相同 A. ?

我的意思是,表达式是相同的,这将是一个明显的优化。

PS:如果捕获阻止了这样的优化,那么没有捕获的lambdas呢?

1 回复 | 直到 6 年前

NathanOliver 4 年前

编译器是否允许 c 与…类型相同 a ?

不 [&counter](){counter++;} 是lambda表达式和per [expr.prim.lambda.closure]/1 :

lambda表达式的类型(也是闭包对象的类型)是唯一的、未命名的非并集类类型,称为闭包类型,其属性如下所述。

因此,对于每个lambda表达式,即使它与前一个表达式相同,也会得到唯一的类型。

你可以用 typeid 要检查这种情况,请执行以下操作:

#include <iostream>
#include <typeinfo>

template <typename T> void once(T t){
    static bool first_call = true;
    std::cout << typeid(t).name() << std::endl;
    if (first_call) {
        t();
    }
    first_call = false;
}

int main() {    
    int counter = 0;
    auto a = [&counter](){counter++;};
    once(a);
    once(a);
    std::cout << counter << std::endl; // 1

    auto b = a;                        // same type
    once(b);
    std::cout << counter << std::endl; // 1

    auto c = [&counter](){counter++;}; // different type
    once(c);
    once(c);               
    std::cout << counter << std::endl; // 2
}

结果:

Z4mainEUlvE_                                                                                                          
Z4mainEUlvE_                                                                                                          
1                                                                                                                     
Z4mainEUlvE_                                                                                                          
1                                                                                                                     
Z4mainEUlvE0_                                                                                                         
Z4mainEUlvE0_                                                                                                         
2

您可以看到有两个函数模板实例化。