Question

当我遇到意外行为时，我正在与boost::variant<int,std::string,bool>及其访问者合作：字符串和bool值具有可比性。我不知道，为什么它会像这样工作，但我发现它很有趣。我唯一的想法是，具有bool值的变体被解释为char？有人可以向我解释一下吗？比较访问者：

#include <iostream>
#include <algorithm>
#include <vector>
#include <boost/variant.hpp>
#include <boost/function.hpp>

struct my_less : boost::static_visitor<bool*>
{
   template<typename T>
   bool* operator()(T a, T b) const
   {
       return a<b ? new bool(true) : new bool(false);
   }

   template<typename T, typename U>
   bool* operator()(T a, U b) const
   {
       return NULL;
   }
};

int main()
{
typedef boost::variant<int,bool,std::string> datatype;
datatype *a = new datatype(false);
datatype *b = new datatype("abc");

my_less cmp;

bool* val = boost::apply_visitor(cmp,*a,*b);

if(val)
{
    std::cout << *val;
}
else
{
    std::cout << "NULL";
}

}

EDIT 这是一个包含一些测试用例的扩展主函数：

void show_result(bool* val)
{
if(val)
{
    std::cout << *val << std::endl;
}
else
{
    std::cout << "NULL" << std::endl;
}
}

int main()
{
//std::string a = "bbb";
//bool b = true;
//std::cout << b<a;      //compilation error

typedef boost::variant<int,bool,std::string> datatype;
datatype int_value_1(4);
datatype int_value_2(3);
datatype string_value("abc");
datatype bool_value(true);
my_less cmp;

std::cout<<"First result, compare ints 4 and 3:"<<std::endl;
bool* val = boost::apply_visitor(cmp,int_value_1,int_value_2);
show_result(val);

std::cout<<"Second result, compare int to string 4 to abc " << std::endl;
val = boost::apply_visitor(cmp,int_value_1,string_value);
show_result(val);

std::cout <<"Third result, int 4 to bool true:" << std::endl;
val = boost::apply_visitor(cmp,int_value_1,bool_value);
show_result(val);

std::cout<<"Fourth result, string abc to bool true" << std::endl;
val = boost::apply_visitor(cmp,string_value,bool_value);
show_result(val);

}

输出：

First result, compare ints 4 and 3:
0
Second result, compare int to string 4 to abc
NULL
Third result, int 4 to bool true:
NULL
Fourth result, string abc to bool true
0

Answer 1

好的，既然你已经完全改变了你的程序，让我再试一次。

问题是：

datatype *b = new datatype("abc");

"abc"是const char*，而不是std::string。如果要创建std::string变体，则需要明确地执行此操作。否则，您最终会创建一个bool变体，因为所有指针都可以转换为bool，包括const char*个指针。

试试这个

datatype *b = new datatype(std::string("abc"));

bool和std::string之间的这种互动显然是众所周知的，有点令人恼火。 boost::variant提供了一个模板化的构造函数，但解决规则更喜欢内置的转换为bool，并且在C ++中无法在构造函数上指定模板特化。可以明确地专门化赋值，因此您可以写：

datatype b;
b.operator=<std::string>("abc");

可能略微提高效率，但可读性远低于

datatype b;
b = std::string("abc");

如果您不将bool作为变体包含，则字符串文字会自动转换为std::string。也许可以使用某种代理伪布尔类。我从未尝试过。

String-bool比较 - 为什么？

1 个答案: