2015-09-27 1 views
2

Привет следующая программа работает с г ++ 4.9.2 (Ubuntu 4.9.2-10ubuntu13), но virtual ключевое слово требуется для функции get:Возвращение класса из функции constexpr требует виртуального ключевого слова с г ++

//g++ -std=c++14 test.cpp 
//test.cpp 

#include <iostream> 
using namespace std; 

template<typename T> 
constexpr auto create() { 
    class test { 
    public: 
    int i; 
    virtual int get(){ 
     return 123; 
    } 
    } r; 
    return r; 
} 

auto v = create<int>(); 

int main(void){ 
    cout<<v.get()<<endl; 
} 

Если я опускаю virtual ключевое слово, я получаю следующее сообщение об ошибке:

test.cpp: In instantiation of ‘constexpr auto create() [with T = int]’: 
test.cpp:18:22: required from here 
test.cpp:16:1: error: body of constexpr function ‘constexpr auto create() [with T = int]’ not a return-statement 
} 
^ 

Как я могу получить код выше, чтобы работать (с г ++) без необходимости использовать virtual ключевое слово?

+1

Программа компилируется нормально с [последней версии г ++] (http://melpon.org/wandbox/permlink/MYiV0wciN8hWmhAM). Расслабленные правила функции constexpr C++ 14 реализованы в gcc> = 5, см. Https://gcc.gnu.org/projects/cxx1y.html. До этого вы не могли объявить класс в функции constexpr. Отсутствие диагностики, когда 'get' является' virtual', вводит в заблуждение. – dyp

ответ

0

Классы, определенные внутри функции, не могут быть доступны вне функции. Мое предложение: объявить test за пределами функции и добавить const квалификатор в get.

#include <iostream> 
using namespace std; 

    class test { 
    public: 
    int i; 
    int get() const { 
     return 123; 
    } 
    }; 

template<typename T> 
constexpr test create() { 
    return test(); 
} 

auto v = create<int>(); 

int main(void){ 
    cout<<v.get()<<endl; 
} 
+0

спасибо, но, к сожалению, это не то, как я хочу делать что-то для своего конкретного рабочего случая. – artella

+0

* «Классы, определенные внутри функции, не могут быть доступны за пределами функции.» * Это неверно, поскольку вывод типа возвращаемого типа C++ 14 (или вычитание типа C++ 11 для возвращаемого типа для lambdas). – dyp

+0

@ Андрей Насонов См. Http://stackoverflow.com/questions/32806835/how-to-specify-type-of-a-constexpr-function-returning-a-class-without-resorting?noredirect1_comment53450804_32806835 для более подробное объяснение того, чего я пытаюсь достичь. – artella