Yes in the old days they were based around a fast evaporating chemical which was a CFC and hence banned now. All the usual ones work, electrolube, Servisol and the RS branded one. Sadly one of the best I had was made by Tandy, and I guess now its no longer around. What not to use. Do not use WD40, It seems to be no good at all, and some can damage plastic, though it claims it won't. WD I understand stands for Water Displacement, so might be good in car uses where the electrics get damp. I have noticed recently that battery connectors in portable gear seem poorly made with no plating and also often dissimilar metals of the spring and the rivet and the tag where the wire goes often making the connection crackly, if for example inside a microphone. Certainly some mild abrasive is good every so often on some of the connections. Do not forget also the plus and minus ends of both batteries.
I did come unstuck with an older can of Servisol though. I put it in a crackly 1 quarter inch headphone socket and it melted the plastic and the contacts fell out.
I think its always a good idea to test the substance somewhere where a bit of melt does not matter! Brian