Блог

Я хотел бы, чтобы кто-нибудь разъяснил, в каких случаях безопасно использовать static constexpr в качестве аргумента по умолчанию для конструктора класса. Чтобы точно определить, что происходит, рассмотрим следующий код:

 #include <array>
#include <iostream>

struct Bar {

    using Option = size_t;
    using Options = std::array<Option, 0>;
    static constexpr Option default_option = 8080;
    static constexpr Options default_options{};

    //template <typename OptionT = Options>
    Bar(
        Options options = default_options,
        Option  option  = default_option  
       ){
        std::cout << "Constructed with option " << option << std::endl;
    }
};

int main() {
    Bar bar;
}
  

Этот код, похоже, компилируется, но не связывается. В частности, при компиляции с GCC 6.3 я получаю

 prog.cc:(.text 0x13): undefined reference to `Bar::default_options'
collect2: error: ld returned 1 exit status
  

Однако, если мы закомментируем строку-нарушитель, тогда код компилируется, связывается и выполняется правильно. Таким образом, предположительно, нет проблем с использованием static constexpr size_t в качестве аргумента по умолчанию:

 #include <array>
#include <iostream>

struct Bar {

    using Option = size_t;
    using Options = std::array<Option, 0>;
    static constexpr Option default_option = 8080;
    static constexpr Options default_options{};

    //template <typename OptionT = Options>
    Bar(
        //Options options = default_options,
        Option  option  = default_option  
       ){
        std::cout << "Constructed with option " << option << std::endl;
    }
};

int main() {
    Bar bar;
}
  

Может ли кто-нибудь объяснить мне, почему привязка работает для size_t , но не для array любого из них?

Я знаю, что я мог бы определить встроенные параметры по умолчанию следующим образом:

 Bar(
    Options options = std::array<Option, 0>{},
    Option  option  = default_option  
   ){
    std::cout << "Constructed with option " << option << std::endl;
}
  

Мне просто интересно, есть ли какое-либо другое более приятное исправление, чтобы параметры по умолчанию могли легко запрашиваться кем угодно.

Как указывает StoryTeller, первый код ДЕЙСТВИТЕЛЬНО компилируется и связывается с C 17 и GCC 7.1 . Чтобы заставить это скомпилироваться с C 11 и более старыми версиями GCC, вам необходимо внеклассовое объявление массива:

 #include <array>
#include <iostream>

struct Bar {

    using Option = size_t;
    using Options = std::array<Option, 0>;
    static constexpr Option default_option = 8080;
    static constexpr Options default_options{};

    //template <typename OptionT = Options>
    Bar(
        Options options = default_options,
        Option  option  = default_option  
       ){
        std::cout << "Constructed with option " << option << std::endl;
        std::cout << "Constructed with options..." << std::endl;
        for (auto amp; other_option : options)
            std::cout << other_option << ", ";
        std::cout << std::endl;
    }
};

// !!!! Needed for C  11 and lower gcc<7.1 versions
constexpr Bar::Options Bar::default_options;

int main() {
    Bar bar;
}