小编Wou*_*r J的帖子

在COQ中,类型prod(具有一个构造函数对)对应于笛卡尔积和类型sig(存在一个构造函数)对依赖和,但是如何描述笛卡尔积是特定的依赖和的情况？我想知道prod和sig之间有一个联系,例如一些定义相等但我在参考手册中没有明确地找到它.

我有一个while循环请求用户输入.在while while循环中我有一个switch语句.如何才能使其达到默认值,重复循环再次询问用户性别？

do
    {
        cout << "What is your weight?" << endl;
        cin >> weight;
        cout << "What is your height?" << endl;
        cin >> height;
        cout << "What is your age?" << endl;
        cin >> age;
        cout << "What is your gender?" << endl;
        cin >> gender;

        switch (gender)
        {
            case 'M':
            case 'm':
                cout << endl << Male(weight, height, age);
                break;
            case 'F':
            case 'f':
                cout << endl << Female(weight, height, age);
                break;
            default:
                cout << "What is …

这似乎应该工作,但我得到404错误.

我的应用程序如下所示:

LIB /的init.php:

$app = new Silex\Application();
$app->register(new Silex\Provider\TwigServiceProvider(), array(
    'twig.path' => __DIR__.'/../views',
));
$app->register(new Silex\Provider\UrlGeneratorServiceProvider());

和web/index.php:

require_once __DIR__.'/../lib/init.php';

$app->get('/about', function() use ($app) {
    return $app['twig']->render('about.twig.html');
})
->bind('about');

$app->get('/', function() use ($app) {
    return $app['twig']->render('index.twig.html');
})
->bind('homepage');

$app->run();

我正在使用MAMP在我的本地机器上进行测试.当我访问localhost:8888/web时,它会使索引页面正常,没有问题,但访问localhost:8888/web/about会出现404错误.

这里发生了什么？

任何人都可以写CSS片段吗？

<div class="container">
  <span class="left">Left</span><span class="right">Right</span>
</div>

这是CSS .container:

.container {
    position:absolute;
    bottom:0;
    margin: 0 5px 5px 5px;
}

注意位置是绝对的,因为它在其包含元素上是"绝对定位的".

我已经试过alredy float:left/ float:right在两个嵌套的元素,但没有任何反应.

我如何为表单身份验证提供程序设置success_handler(和failure_handler)？

Silex用这个配置忽略了我:

<?php

use WebFactory\Security\UserProvider;

$app->register(new Silex\Provider\SecurityServiceProvider(), array(
    'security.firewalls' => array(
        'dev' => array(
            'pattern' => '^/(_(profiler|wdt)|css|images|js)/',
            'security' => false
        ),
        'default' => array(
            'pattern' => '^/.*$',
            'anonymous' => true,
            'form' => array(
                'login_path' => '/login',
                'check_path' => '/login_check',
                'success_handler' => 'authentication_handler', //<-- here
                'failure_handler' => 'authentication_handler', //<-- here
            ),
            'logout' => array('logout_path' => '/logout'),
            'users' => $app->share(function () use ($app) {
                        return new UserProvider($app['db']);
                    }),
        ),
    ),
    'security.access_rules' => array(
        array('^/login', 'IS_AUTHENTICATED_ANONYMOUSLY'),
        array('^/private$', 'ROLE_ADMIN'),
    ),
    'security.role_hierarchy' => array(
        'ROLE_SIMPLE_USER' …

我注意到即使是SuperAdmin用户也要求我的选民.

它是否按预期工作？

如果是的话,我认为SuperAdmin的理念是他们系统地拥有所有权利,因此我们不必逐个给予他们每个权限.在那种情况下,为什么不允许所有选民进入？

我总是要放

if ($user->isSuperAdmin()) {
    return VoterInterface::ACCESS_GRANTED;
}

在我的选民？

有一个2.3的新功能有多个提交按钮,
但我发送我的表格与ajax

$.post("{{ path('order_ad_banner') }}",
        $('#adOrderForm').serialize() + "&" + $.param({url: "{{ url }}"}),
        function (data) {
            $('#formWindow').html(data);
        }
    );

这是我的按钮:

public function buildForm(FormBuilderInterface $builder, array $options)
{
    $builder
       ....
        ->add('step2submit', 'submit', array('validation_groups' => array("order step 2")))
        ->add('step3submit', 'submit')
        ->add('step4submit', 'submit')
    ;
}

如何使用带有ajax的'step2submit'按钮模拟提交？

编辑:找到解决方案 - >在发布之前向表单添加隐藏字段

var input = $("<input>").attr("type", "hidden").attr("name",     'adOrder[step2submit]').val("");
    $('#adOrderForm').append(input);
    $.post("{{ path('order_ad_banner') }}",
            $('#adOrderForm').serialize() + "&" + $.param({url: "{{ url }}"}),
            function (data) {
                $('#formWindow').html(data);
            }
    );

我们假设我有一个.description班级的div .

div.description当用户将鼠标悬停在另一个div上时,我希望显示.image该类.

但是,当用户点击时div.image,我希望div.description保持可见状态.因此,如果用户点击.image,mouseleave则不应该应用该事件.

最后,当用户.image再次点击时,应再次激活悬停功能.这样当鼠标离开时.image1,div.description会再次隐藏.

希望你们能帮助我!

问题

当我们定义routing.yml:

my_controllers:
    resource: "@MyBundle/Controller/"
    type:     annotation
    prefix:   /

和:

my_api:
    resource:    'MyBundle\Controller\ApiController'
    type:        rest
    prefix:      /api
    name_prefix: my_api_
    options:
        expose: true

我们得到重复的路线NelmioApiDoc:

这个问题

我们应该如何做到这一点,以便路由ApiController不会重复？

• ApiController从"通配符"资源导入中排除？
• 单独导入所有其他控制器？
• 其他方案？

我有2个symfony形式:

SignupFormType 和 HouseRentFormType

注册表格如下:

<form ..>
<input name='email' .. />
<input name='pass' .. />
..
</form>

和房子租金形式如下:

<form ..>
<input name='city' .. />
<input name='price' .. />
</form ..>

我想将它们组合起来,看起来像这样:

<form ..>
// house rent info:
<input name='city' .. />
<input name='price' .. />

//registration info:
<input name='email' .. />
<input name='pass' .. />
<input type='submit' />
</form ..>

并且还要创建表单类型或smthng.有关如何处理提交的任何提示？

ps我正在使用symfony/form:^ 3.0