I’m not sure that would be double-amping… two thoughts:Yeah, that option would have you double amping; it would be nice to avoid, if possible...
Line out is simply an output with amplification but no potentiometer or other components used to vary the voltage output… usually, 2 Vrms. A Digital to Analog converter will still have an analog section and a line-level amplified output. I used a iPod 30-pin to female line-out adapter (also from FiiO) back in the day, which used the DAC and line output of the iPod and simply bridged the pins to the female TRS rings. I could then use any male tipped cable to connect a headphone amplifier or active speakers to the line-out, and I was good to go.
The second thought: While the iPod had a DAC and amp with some of the pins dedicated to a line-out, the lightning connector on modern iPhones and iPads is a digital, data only connection. The lightning port isn’t providing any DAC or line-out stage, so you need a DAC. Apple’s $9 headphone adapter IS just a DAC/amp with a line-out; I believe the volume is controlled digitally instead of in the analog domain, specifically because apple wanted the dongle to double as a line-out.
So, if you have the dongle, just use it with the phone set at max or near max volume, and control the output volume with your headphone amp.
I’m actually excited to use my new iPad Air with USB-C as a source for my $2400 desktop DAC/amp, by just connecting directly through USB. Since the DAC/amp is wall powered, it doesn’t draw much power from the source iPad, and the iPad is battery powered for very low power noise and EMI, _plus_ iOS by default has a bit perfect digital output… it sounds slightly better than from my Mac’s USB output! An iPad or iPhone connected to a Mojo 2 or Hugo 2 and then high end headphones or a power amp for speakers is a very real high quality setup now!