Question

我收到错误

将'const double'绑定到'double＆amp;'类型的引用会丢弃限定符

编译时

：

g++ -std=c++11 main.cpp
main.cpp: In function ‘Point square(const Point&)’:
main.cpp:14:28: error: binding ‘const double’ to reference of type ‘double&’ discards qualifiers
  for(double &a:{Q.x,Q.y,Q.z})
                            ^

虽然网上还有其他关于此错误的问题，但我正在寻找这个特定代码的解决方案。我坚持使用ranged for。

#include <iostream>
#include <vector>

class Point
{
public:
    double x,y,z;
};

Point square(const Point &P)
{
    Point Q=P;
    for(double &a:{Q.x,Q.y,Q.z})
        a*=a;
    return Q;
}

int main()
{
    Point P{0.1,1.0,10.0};
    Point Q=square(P);
    std::cout<<"----------------"<<std::endl;
    std::cout<<"Q.x: "<<Q.x<<std::endl;
    std::cout<<"Q.y: "<<Q.y<<std::endl;
    std::cout<<"Q.z: "<<Q.z<<std::endl;
    std::cout<<"----------------"<<std::endl;
    return 0;
}

Answer 1

yarn install在{Q.x,Q.y,Q.z}的上下文中创建的初始值设定项列表仍然基于单独的值数组。即使您以某种方式设法修改这些值，它仍然不会影响您的for，这显然是您的意图。但是无论如何你都无法修改它们，因为那个数组由Q元素组成（这是编译器告诉你的）。

如果你想要一个远程const你可以使用旧的C时代技巧

for

或者

for (double *a : { &Q.x, &Q.y, &Q.z })
  *a *= *a;

Answer 2

当然，正确的答案是：

for_each(std::tie(x, y, z), [](auto& a){a *= a;});

定义如下：

template <typename Tuple, typename F, std::size_t ...Indices>
void for_each_impl(Tuple&& tuple, F&& f, std::index_sequence<Indices...>) {
    using swallow = int[];
    (void)swallow{1,
        (f(std::get<Indices>(std::forward<Tuple>(tuple))), void(), int{})...
    };
}
template <typename Tuple, typename F>
void for_each(Tuple&& tuple, F&& f) {
    constexpr std::size_t N = std::tuple_size<std::remove_reference_t<Tuple>>::value;
    for_each_impl(std::forward<Tuple>(tuple), std::forward<F>(f),
                  std::make_index_sequence<N>{});
}

int main(){
    double x, y, z;
    for_each(std::tie(x, y, z), [](auto& a){a *= a;});
}

参考：https://codereview.stackexchange.com/a/67394/82510

错误：将'const double'绑定到类型'double＆amp;'的引用'会丢弃限定符

2 个答案: