|
If equality is transitive (and I really hope it is), it can indeed never execute DoABC.
Given A == B and B == C, it follows from transitivity that A == C, so A != C must be false.
|
|
|
|
|
Under normal circumstances equality is transitive; but it also isn't permanent...
Luc Pattyn [Forum Guidelines] [My Articles] Nil Volentibus Arduum
Please use <PRE> tags for code snippets, they preserve indentation, improve readability, and make me actually look at the code.
|
|
|
|
|
"isn't permanent"? can you explain that?
|
|
|
|
|
The variables A, B, C may be equal at some point in time, they also are variables, hence their value can change.
See also here[^].
Luc Pattyn [Forum Guidelines] [My Articles] Nil Volentibus Arduum
Please use <PRE> tags for code snippets, they preserve indentation, improve readability, and make me actually look at the code.
|
|
|
|
|
Don't forget, in at least some languages, you're allowed to override operators. So A's == may not be the same as B's. That might be a path to DoABC.
In the absence of that, though, what he said.
In the presence of that, that's a whole other kind of bad development.
|
|
|
|
|
In any "sane" scenario its pretty obvious that if A==B and B==C then A should equal C therefore DoABC() will never be called.
Still with no more information, it is plausible (even if hideous) to think that DoABC could be called. It just needs some dubious implicit cast operators to do the trick.
|
|
|
|
|
I assume the data types for A, B and C are something basic? With custom operator overloads you could get to DoABC() using the above logic if you really wanted to. But I think you would need to have different data types
I may or may not be responsible for my own actions
|
|
|
|
|
And then you could post a Hall Of Shame regarding implementing IComparable
"You get that on the big jobs."
|
|
|
|
|
Yes they are string(s)
and now i thing to replace this code with just one line DoWork();
// ♫ 99 little bugs in the code,
// 99 bugs in the code
// We fix a bug, compile it again
// 101 little bugs in the code ♫
|
|
|
|
|
|
Ravi Sant wrote: replace this code with just one line DoWork();
But what if A != B && A != C && B != C ? The original code won't execute DoWork in that case.
"These people looked deep within my soul and assigned me a number based on the order in which I joined."
- Homer
|
|
|
|
|
Good Point ..
// ♫ 99 little bugs in the code,
// 99 bugs in the code
// We fix a bug, compile it again
// 101 little bugs in the code ♫
|
|
|
|
|
|
You didn't tell us what types A, B, C are.
They could be some type with the == operator overloaded by something counter-intuitive. They could also be just stupid integers, stored globally, marked volatile, and changing occasionally...
So, yes it looks weird, it probably is a mistake, and OTOH it could function as intended and just be a case of bad, hardly readable, code.
Luc Pattyn [Forum Guidelines] [My Articles] Nil Volentibus Arduum
Please use <PRE> tags for code snippets, they preserve indentation, improve readability, and make me actually look at the code.
|
|
|
|
|
they are string(s)
// ♫ 99 little bugs in the code,
// 99 bugs in the code
// We fix a bug, compile it again
// 101 little bugs in the code ♫
|
|
|
|
|
|
Your tag line is classic
101 little bugs in the code ♫
|
|
|
|
|
♫ Thanks ♫
// ♫ 99 little bugs in the code,
// 99 bugs in the code
// We fix a bug, compile it again
// 101 little bugs in the code ♫
|
|
|
|
|
|
My Snark Detector is going off.
|
|
|
|
|
No matter how hard I try to find the good in this piece of code, I just can't, I'm sorry.
1st bug: meaningless variable names
2nd bug: No '()' to indicate and clarify precedence
3rd bug: Dead code
"Program testing can be used to show the presence of bugs, but never to show their absence."
<< please vote!! >>
|
|
|
|
|
yes, 1st is not bug, I did it purposely to hide actual busines variables.
2& 3 surely bad.
// ♫ 99 little bugs in the code,
// 99 bugs in the code
// We fix a bug, compile it again
// 101 little bugs in the code ♫
|
|
|
|
|
|
I guest that much.
"Program testing can be used to show the presence of bugs, but never to show their absence."
<< please vote!! >>
|
|
|
|
|
Thanks
// ♫ 99 little bugs in the code,
// 99 bugs in the code
// We fix a bug, compile it again
// 101 little bugs in the code ♫
|
|
|
|
|
|
R. Erasmus wrote: I guest that much.
Did you guest anonymously? - Oh, sorry - the bad-English-and-spelling thread was yesterday ...
|
|
|
|
|
Looks like a test to see if operator==() has been implemented correctly for whatever class the variables A, B, and C are instances of. DoABC() will only be called, if operator==() does not fulfil transitivity.
Of course, there is one error: it should be !A==C instead of A!=C , otherwise we cannot be sure there is an error in operator!=() .
Yeah, right...
|
|
|
|
|
lol. Have 5 for the humor
// ♫ 99 little bugs in the code,
// 99 bugs in the code
// We fix a bug, compile it again
// 101 little bugs in the code ♫
|
|
|
|
|
|
Funny!
I think if you want this code work as your meaning, you should override the operator "==", or you convey it into other language such as C#.
There is some white cloud floating on the blue sky. That's the landscape I like.
|
|
|
|
|
The only minute possibility of it being useful perhaps, is if there are multiple threads involved. . .and maybe if it is the case that A is static or something. . . .that if there was a CPU context switch between the lines
if( A==B ) and
if( B==C && A!=C)
...where A gets changed by another thread therefore the programmer had been trying to be uber careful about running DoABC(). . . . .??
|
|
|
|