单元减号运算符在C++中如何处理布尔运算符？

Question

我目前正在将一些OpenCV代码从C++转换为Java。我无法使用JavaCV，因为我们需要在本机Java中进行转换，而不是JNA。在代码中的一个点，我得到如下分配：

dst[x] = (uchar)(-(kHit >= kForeground)); 

哪里dst为uchar*，kHit和kForeground是int秒。

我一直无法找到关于它如何工作的任何信息，Java不会将其识别为操作。这两个变量在代码中的另一点有一个操作，它存储两个值之一：255或0.

有问题的代码来自opencv/video/src/bgfg_gaussmix.cpp。

Answer 1

在C++中，一个布尔表达式产生两个值之一 - 0或1。当您将一元减号-应用于结果时，将得到0或-1。当您将-1重新解释为uchar时，您将获得255。

您可以将这个表达式转换成Java的一个条件：

dst[x] = (kHit >= kForeground) ? 255 : 0; 

因为分支，它不会是一样快的原单。但是，对于Java的速度，你无能为力，因为Java缺乏将布尔值重新解释为数字的能力。

Answer 2

kHit >= kForeground返回true或false，其在C++中表示为1或0。前面的减号将其转换为-1或0。转换为uchar（(uchar)）将返回0代替0，并将255包装为负值-1。

继康拉德的评论，我也怀疑这是明确的。它的定义很明确，但在可读性方面它仍然是一段糟糕的代码。 :)

Answer 3

什么它基本上是以下：

kHit >= kForeground 

是bool类型的表达式

-(kHit >= kForeground) 

此布尔转换成一个int（基于true==1和false==0）和取消它，这将导致在true==-1和false==0。

然后将其转换为uchar，结果为-1==255和0==0。

需要注意的是，尽管看起来使用数字的底层实现细节，但所有这些转换都由C++和C标准保证，因为负无符号数指定为按照二进制补码行为。

但如果Java不支持此功能，您可以通过有条件分配总是替换它：

dst[x] = (kHit>=kForeground) ? 255 : 0; 

Answer 4

表达(kHit >= kForeground)产生具有价值true或false一个布尔值。当应用一元-时，bool被提升为int，并且true或0对false的转换产量为1。升级后，标志变为-1或0，然后通过外部转换将其转换为uchar。

请注意，重要的信息位是一元operator-未应用于布尔值，但布尔值转换为int，然后应用它。这可以用一点神奇的模板进行测试：

template <typename T, typename U> 
struct same_type { 
    static const bool value = false; 
}; 
template <typename T> 
struct same_type<T,T> { 
    static const bool value = true; 
}; 
template <typename T> 
void f(T value) { 
    std::cout << "Is int? " << std::boolalpha << same_type<T, int>::value << "\n"; 
    std::cout << "Is bool? " << same_type<T, bool>::value << "\n"; 
} 
int main() { 
    f(-true); 
} 

的f模板通过使用上述same_type模板（足够的琐碎理解）测试对int和bool传递的参数的类型。如果我们将f模板与-true作为参数类型推理，将T设置为表达式-true的类型。如果你运行该程序，你会看到它打印Is int? true\nIs bool? false。