Как поморгать 4 светодиодами на CortexM используя С++17, tuple и немного фантазии

class DummyModule {
  public:
    static void HandleInterrupt() {};
} ;
#define __vectortable _Pragma("location=\".intvec\"") 
using tInterruptFunction = void (*)() ;
using tInterruptVectorItem = union 

__vectortable const tInterruptVectorItem __vector_table[] = {  
  {     .pPtr = __sfe( "CSTACK" )   }, 
  {     __iar_program_start //Reset  }, 
    // Non maskable interrupt, Clock Security System
  {   DummyModule::HandleInterrupt }, 
  {   DummyModule::HandleInterrupt },    // All class of fault
  {   DummyModule::HandleInterrupt  },  // Memory management
  {   DummyModule::HandleInterrupt },   // Pre-fetch fault, memory access fault
  {   DummyModule::HandleInterrupt },   // Undefined instruction or illegal state
  {   0  },      //Reserved
  {   0  },      //Reserved
  {   0  },      //Reserved
  {   0  },      //Reserved
  {   OsWrapper::Rtos::HandleSvcInterrupt },   
  {   DummyModule::HandleInterrupt  },     // Debug Monitor
  {    0  },     // Reserved 
  {  OsWrapper::Rtos::HandlePendSvInterrupt  },    
  {  OsWrapper::Rtos::HandleSysTickInterrupt  }      
}

/Этот вызов 
LedsContainer::ToggleAll() ;
//Преобразуется в эти 4 вызова:
Pin<PortС, 9>().Toggle() ;
Pin<PortС, 8>().Toggle() ;
Pin<PortC, 5>().Toggle() ;
Pin<PortA, 5>().Toggle() ;
//А поскольку у нас метод Toggle() inline, то в это:
 *reinterpret_cast<std::uint32_t*>(0x40020814 ) ^= (1 << 9) ;
 *reinterpret_cast<std::uint32_t*>(0x40020814 ) ^= (1 << 8) ;
 *reinterpret_cast<std::uint32_t*>(0x40020814 ) ^= (1 << 5) ;
 *reinterpret_cast<std::uint32_t*>(0x40020014 ) ^= (1 << 5) ;

Можете ли вы гарантировать, что вышеприведенный код не обращается к памяти за пределами списка или не выкидывается компилятором (как, например, memset в конце блока) по какой-либо причине? Можете ли вы без подготовки изобразить на псевдо-ассемблере как должен выглядеть листинг вот этой строчки?

visit(std::make_index_sequence<std::tuple_size<tRecordsTuple>::value>());

constexpr static auto records = std::make_tuple (
                                                   Pin<PortA, 5>{},
                                                   Pin<PortC, 5>{},
                                                   Pin<PortC, 8>{},
                                                   Pin<PortC, 9>{},
                                                   Pin<PortC, 2>{},
                                                   Pin<PortC, 6>{}
    

Можно сделать виртуальный базовый класс, для всех Pin, но тогда появится таблица виртуальных функций и уделать выиграть студентов мне не удастся.

template <typename... Types>
class Container {};

using Led1 = Pin<PortA, 5> ;
using Led2 = Pin<PortC, 5> ;
using Led3 = Pin<PortC, 8> ;

class LedsController {
  public:
    __forceinline template<typename... args>
     inline constexpr static void ToggleAll()    {
      toggleAll(tLedsController()) ;
    }
  
  private:       
    using tLedsController = Container<Led1, Led2, Led3> ;    // вот тут делаем шаблонный тип с разными классами на входе
  
  __forceinline template<typename ...Args> 
   constexpr inline void static toggleAll(Container<Args...> obj)  {
      pass((Args::Toggle(), true)...) ;  // проходим по каждому типу в списке и вызываем у него Toggle()
  }    
  
  __forceinline  template<typename... Args> 
  inline constexpr static void pass(Args&&...) {}
} ;

int main() { 
  LedsController::ToggleAll() ;
  return 0;
}

int main() {  
  Led1::Toggle() ;
  Led2::Toggle() ;
  Led3::Toggle() ;
  return 0;
}