我有目标
quad X Y
，但我不记得“quad”的定义，我不想开始搜索它的定义。
是否有一种策略允许我快速用其定义替换四元组？
Record quad (X Y:Type):= { x:X; y:Y}.
或者我必须记住并使用
refine (@Build_quad _ _).
答案 0 :(得分：3)
你有点误， use App\Post;
use App\Http\Requests;
use Illuminate\Http\Request;
use DB;
use Illuminate\Contracts\Auth\User;
use App\Http\Controllers\Controller;
class PostController extends Controller
{
public function createPost(Request $request)
{
$post = new Post();
$post->userpost = $request['userpost'];
$request->user()->posts()->save($post); -> **Error here Call to a member function posts() on null**
return redirect()->back();
}}
不是Build_quad的定义，它是它的构造函数。它会创建quad类型的术语。
正如@ejgallego所说，在这种情况下你应该使用quad策略。
您的目标是希望您提供constructor类型的术语，从头开始构建此类术语的唯一方法是使用quad X Y类型的构造函数Build_quad。