来自 std::bitset::operator[] 的模板推导

Question

这段代码怎么编译不了？为什么bs[1]不能推演成bool？

有解决这个问题的通用方法吗？

#include <iostream>
#include <string>
#include <bitset>
using namespace std;

template<typename T> struct StringConverter{};
template<> struct StringConverter<bool>{
    std::string operator()(const bool &i){ return i?"true":"false"; }   
};

template<typename T> std::string to_string(const T &val){
    return StringConverter<T>()(val);
}

int main(){
    // this does not compile
    std::bitset<10> bs;
    std::cout << to_string(bs[0]) << std::endl;

    // this does
    const std::bitset<10> bs_const;
    std::cout << to_string(bs_const[0]) << std::endl;
}

编译器错误：

main.cpp:12:12: error: type 'StringConverter<std::bitset<10>::reference>' does not provide a call operator
    return StringConverter<T>()(val);
           ^~~~~~~~~~~~~~~~~~~~
main.cpp:18:18: note: in instantiation of function template specialization 'to_string<std::bitset<10>::reference>' requested here
    std::cout << to_string(bs[0]) << std::endl;
                 ^
1 error generated.

Answer 1

非常量 bitset::operator[] 返回一个代理对象而不是布尔值（必须这样做，因为该代理可用于更改位值）。 const bitset::operator[] 但是只返回一个布尔值（不是引用，只是一个普通布尔值），因此它与 StringConverter[

Answer 2

如果您检查 declaration of operator[]，您会注意到它有两个重载 - const 一个，它返回 bool 并在您的第二个示例中使用，以及非const，它返回std::bitset::reference 类型的对象。

后者用于位域修改，它绝对不能是bool&，因为它必须针对特定位。对于这些代理返回类型，您遇到的问题很常见（这是我应该提到的vector<bool>）。

作为一种可能的解决方案，您可以使用std::bitset::reference 可转换为bool 的事实（并且不可转换为您可能用于StringConverter 专业化的任何其他可能的类型）。