람다 식별자는 어떻게 캡쳐됩니까?

Question

나는 코드를 포함하는, this answer을 게시 한 :

template <typename T> 
auto vertex_triangle(const size_t index, const vector<pair<T, T>>& polygon) { 
    const auto& first = index == 0U ? polygon.back() : polygon[index - 1U]; 
    const auto& second = polygon[index]; 
    const auto& third = index == size(polygon) - 1U ? polygon.front() : polygon[index + 1U]; 

    return [&](auto& output){ output.push_back(first); 
           output.push_back(second); 
           output.push_back(third); }; 
} 

내가 생각하는 first, second 및 third 정말이 같은 람다 식별자로 사용할 수 있습니다 :

[first = index == 0U ? polygon.back() : polygon[index - 1U], 
second = polygon[index], 
third = index == size(polygon) - 1U ? polygon.front() : polygon[index + 1U]](auto& output){ output.push_back(first); 
                          output.push_back(second); 
                          output.push_back(third); }; 

하지만 난 단지 원하는 일정한 참조로 캡처하기. 식별자에 유형을 지정하지 않으면 어떻게 할 수 있습니까?

Answer 1

수 없습니다. 람다 캡쳐리스트에 cv-qualifier를 넣을 곳이 없다. 당신은 relevant grammar 살펴 가질 수 있습니다

init-capture: 
    identifier initializer 
    & identifier initializer 

당신은 또한 캡처 목록에서 유형을 지정할 수 없습니다 (위의 문법 참조).

[&first = index == 0U ? polygon.back() : polygon[index - 1U], 
&second = polygon[index], 
&third = index == size(polygon) - 1U ? polygon.front() : polygon[index + 1U]](auto& output){ output.push_back(first); 
                          output.push_back(second); 
                          output.push_back(third); }; 

또는 너무 IMO 방법이 더 읽을 수있는 첫 번째 조각, 스틱 :

당신이 그러나 할 수있는 것은 이름 앞에 &을 넣어 const가 아닌 참조에 의해 캡처입니다. 당신이 캡처 목록에서 참조를 캡처하는 경우 second 및 third 실제로 const을하게 될 경우, first, 그렇게

¹polygon

---

는 const입니다! 그러나 그것이 아니라면, 위에 언급 된 이유로