I wonder, though - when I have the DC system wired up and need to charge the battery (with the solar disconnected, of course) how 'bout if I power up the DC to AC inverter, running of the 12VDC system, and plug a regular battery charger into the AC outlet and hook the DC leads to the battery. . .
It would work, you would just have conversion losses on each step, so it would be less efficient (power in vs power stored in the battery) than a single conversion, like going directly from the solar panels to the battery. In most cases convenience would probably trump needs to save that 2%-5% loss in efficiency caused by each conversion step, but if you were in an emergency situation where you had to make use of every single amp hour of charge a direct hookup would be slightly more efficient.
That brings up another option. They make power regulators that will take in 8-15 volts and output a rock solid 12-13.8 volt output. They are most often marketed for high power stereo sound systems but their use can allow you to charge a battery from a voltage source that is lower in voltage than that needed to charge the battery. It must how ever be able to deliver the higher amperage necessary to produce the necessary power.
For example you want to charge a car battery at 13.8 volts and 10 amps, but your voltage source is only able to produce 11.8 volts but can deliver 20 amps at that voltage.
Your charging current at the battery would require 13.8x10=138 watts, if the conversion loss of the voltage stabilizer is 5%, it would need 145 watts in, which at 11.8 volts would be about 12.3 amps.
Some racers also use voltage stabilizers to ensure their ignitions are always supplied with full 13.8 - 16 volts necessary to deliver a strong spark, and the same for fuel pumps whose flow rates drop off radically as battery voltage drops.
Similar to these ( I have not used these just an example of the type device I am describing) --
http://www.powerstream.com/dc2.htm(low power designs)
http://www.xscyz.com/index.php?main_page=product_info&products_id=239http://www.revolution-robotics.com/micro_power_module_24w-12vsuHere is a solar battery charging regulator I stumbled across while searching.
http://www.energymatters.com.au/morningstar-sunsaver-12volt-10amp-dc-solar-controller-p-395.htmlhttp://www.apolloenergy.com.au/Larry