Проектирование на основе политик — условное использование базового класса (функций)

Вы можете установить для параметра шаблона значение по умолчанию, и класс будет использовать вашу DefaultLanguagePolicy, если пользователь не предоставил второй параметр шаблона. Соответствует ли это вашей цели?

DefaultLanguagePolicy должен быть определен перед классом HelloWorld.

 class DefaultLanguagePolicy {
   protected:
   std::string Message() const { return "Please add a language policy\n"; }
 };

template <typename OutputPolicy, typename LanguagePolicy = DefaultLanguagePolicy>
 class HelloWorld : private OutputPolicy, private LanguagePolicy {
 public:
  void Run() const {
       Print(Message());
     }

Тестовый запуск напечатает «Пожалуйста, добавьте языковую политику», если языковая политика не указана.

int main() {
    typedef HelloWorld<OutputPolicyWriteToCout> myDeafult;
    myDeafult forgetLanguage;
    forgetLanguage.Run();

    HelloWorld<OutputPolicyWriteToCout, LanguagePolicyGerman> InGerman;
    InGerman.Run();
}

Если в проекте можно установить проектное решение, что каждая политика вытекает из политики по умолчанию, например:

class SomeLangaugePolicy : public DefaultLanguagePolicy { ... };

Тогда в классе нечего менять HelloWorld - я имею в виду первую версию этого класса.

В противном случае - используйте инструменты из <type_traits>:

Определить, есть ли у данного класса функция Message, можно с помощью std::void_t

template <typename T, typename = std::void_t<>> 
struct has_message : std::false_type {};
template <typename T> 
struct has_message<T, std::void_t<decltype(&T::Message)>> : std::true_type {};

С этим трейтом has_message, с std::conditional_t ​​ можно выбрать тип в зависимости от наличия Message:

template <typename LanguagePolicy, typename DefaultLanguagePolicy>
using LanguageBase = std::conditional_t<has_message<LanguagePolicy>::value,
                                        LanguagePolicy, 
                                        DefaultLanguagePolicy>;

И необходимые изменения в вашем классе:

template <typename OutputPolicy, typename LanguagePolicy, typename DefaultLanguagePolicy>
class HelloWorld : 
         private OutputPolicy, 
         private LanguageBase<LanguagePolicy, DefaultLanguagePolicy> {
public:
    // Behavior method.
    void Run() const {
        // Two policy methods.
        Print(Message());
    }

private:
    using LanguageBase<LanguagePolicy, DefaultLanguagePolicy>::Message;
    using OutputPolicy::Print;
};

Рабочая Демо

Теперь то же самое легко сделать с OutputPolicy и всеми остальными политиками.

Вы можете определить макрос для определения детекторов политик:

#define DEFINE_HAS_FUNCTION_TRAIT(function) \
template <typename T, typename = std::void_t<>> \ 
struct has_##function : std::false_type {}; \
template <typename T> \
struct has_##function<T, std::void_t<decltype(&T::function)>> : std::true_type {}

Затем:

DEFINE_HAS_FUNCTION_TRAIT(Message); // define has_Message
DEFINE_HAS_FUNCTION_TRAIT(Print); // define has_Print

Чтобы обработать случай, когда в данной Политике больше функций, чем одна, используйте этот подход:

template <typename OutputPolicy, typename LanguagePolicy, typename DefaultLanguagePolicy>
class HelloWorld : 
         private OutputPolicy, 
         private LanguagePolicy, private DefaultLanguagePolicy {
public:
    // Behavior method.
    void Run() const {
        // Two policy methods.
        Print(Message());
    }

private:
    using std::conditional_t<has_Message<LanguagePolicy>::value,
                             LanguagePolicy, 
                             DefaultLanguagePolicy>::Message;
    using OutputPolicy::Print;
};