There's nothing stopping you grabbing alpha from the backbuffer, eg glReadPixels() can read RGBA data, so long as the backbuffer is 32-bit not 24-bit.
I use it to test to make sure there is actually a destination alpha channel available.
I use it to test to make sure there is actually a destination alpha channel available.